1. J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to the specification, correctness, and implementation of abstract data types. IBM research report RC 6487, 1976. Also in: Current Trends in Programming Methodology, Vol. 4: Data Structuring (R.T. Yen, ed.), Prentice-Hall, pp. 80–149 (1978).
2. E. Astesiano, G.F. Mascari, G. Reggio, M. Wirsing: On the parameterized algebraic specification of concurrent systems. In: H. Ehrig et. al. (eds.): Proc. of TAPSOFT Joint Conf. on Theory and Practice of Software Development, Berlin, March 1985. Springer Lecture Notes in Computer Science 185, pp. 342–358 (1985). Extended version: MIP 8403, Fakultät für Mathematik und Informatik, Universität Passau.
3. F.L. Bauer, H. Wossner: Algorithmische Sprache und Programmentwicklung. Berlin: Springer Verlag (1981).
4. G. Birkhoff: On the structure of abstract algebras. Proc. Cambridge Philos. Soc. 31, PP. 433–454 (1935).
5. M. Broy: Extensional behaviour of concurrent, nondeterministic, communicating systems. In: M. Broy (ed.): Control Flow and Data Flow: Concepts of Distributed Programming, Int. Summer School Marktoberdorf 1984, NATO-ASI-Series Springer Berlin (1985).