1. J.A. Bergstra, J. Heering, P. Klint Algebraic Specifications ACM Press Frontier Series, New York, 1989.
2. E. Brinksma On the Design of Extended LOTOS Ph.D.Thesis, Twente University, Netherlands, 1988.
3. E.B Rinksma Specification Modules in LOTOS Formal Description Techniques II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE ‘89, Vancouver, Canada, December 1989, S.T. Vuong (Editor), Elsevier North Holland 1990.
4. P. Burmeister. A Model Theoretic Oriented Approach to Partial Algebras. Mathematical Research — Mathematische Forschung. Akademie-Verlag, Berlin, 1986.
5. H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification 1, Springer-Verlag, 1985.