1. H. Ehrig and B. Mahr: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer Verlag 1985
2. M. Wirsing: Algebraic Specification. in L. van Leeuwen (ed.): Formal Models and Semantics, Handbook of Theoretical Computer Science, Vol. B, Elsevier 1990, pp. 675–788
3. J. Goguen and J. Meseguer: Order-sorted Algebra Solves the Constructor-Selector, Multiple Representation and Coercion Problem. in Proc. 2“
d
Symp. on Logic in Computer Science, IEEE Computer Soc. Press, 1987, pp. 18–29
4. H.-D. Ehrich, M. Gogolla and A. Sernadas: Objects and their Specification. in M. Bidoit and C. Choppy (eds.): Specification of Abstract Data Types,Springer Verlag, in print
5. G. Reggio: Entities: Institutions for Dynamic Systems. in H. Ehrig, K.P. Jantke, F. Orejas and H. Reichel (eds.): Specification of Abstract Data Types, LNCS 534, Springer Verlag 1991