1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers. Principles, Techniques and Tools. Addison-Wesley, Reading (1986)
2. Baillie, D.: Proving Theorems about Algebraic Specifications. Master’s thesis, University of Edinburgh, Department of Computer Science (1999)
3. Bergstra, J.A., Heering, J., Klint, P. (eds.): Algebraic Specification. ACM Press/Addison-Wesley (1989)
4. Bergstra, J.A., Klint, P.: The discrete time ToolBus – a software coordination architecture. Science of Computer Programming 31(2-3), 205–229 (1998)
5. Lecture Notes in Computer Science;M. Bidoit,1985