1. A relational theory of datatypes;Aarts,1992
2. Compilers, Principles, Techniques and Tools;Aho,1986
3. The JavaTM Programming Language;Arnold,1996
4. Module algebra;Bergstra;J. ACM,1990
5. Process algebra for synchronous communication;Bergstra;Inform. Control,1984