1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories. Wiley Interscience, New York (1990)
2. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl: the Common Algebraic Specification Language. Theoret. Comput. Sci. 286, 153–196 (2002)
3. Lecture Notes in Computer Science;V. Breazu-Tannen,1985
4. Broy, M., Facchi, C., Grosu, R., Hettler, R., Hussmann, H., Nazareth, D., Regensburger, F., Stølen, K.: The requirement and design specification language SPECTRUM, an informal introduction, version 1.0, Tech. report, Department of Informatics, Technical University of Munich (1993)
5. NATO ASI Series C;P. Burmeister,1993