1. Goguen, J.A., Thatcher, J.W. and Wagner, E.G. An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current Trends in Programming Methodology, Vol. 4: Data Structuring (R.T. Yeh, ed.), Prentice-Hall, pp. 80–149 (1978).
2. Goguen, J.A., Thatcher, J.W., Wagner, E.G. and Wright, J.B. Initial algebra semantics and continuous algebras. JACM 24, 1, pp. 68–95.
3. Thatcher, J.W., Wagner, E.G. and Wright, J.B. Data type specification: parameterization and the power of specification techniques. TOPLAS 4(4), pp. 711–732 (1982).
4. Adamek, J., Nelson, E. and Reiterman, J. A Birkhoff variety theorem for continuous algebras. Draft report, February 1984.
5. Bauer, F.L. et al (the CIP Language Group). Report on a wide spectrum language for program specification and development (tentative version). Report TUM-I8104, Technische Univ. München (to appear in Springer LNCS).