Authors: Baeten, J.C.M.; Bergstra, J.A.
Source: Electronic Notes in Theoretical Computer Science, Volume 16, Number 2, January 2004, pp. 1-14(14)
This article is hosted on another website.
You may be required to register, activate a subscription or purchase the article before you can obtain the full text.
Document Type: Research Article
Publication date: January 1, 2004