1. J.A. Goguen, J.W. Thatcher, E.W. Wagner: An initial algebra approach to the specification, correctness and Implementation of abstract data types. In: Current Trends in Programming Methodology IV. Prentice Hall, 80–144, 1978
2. F.L. Bauer, M. Broy (eds.): Program Construction. LNCS 69
3. F.L. Bauer, H. Wössner: Algorithmic language and program development. Berlin: Springer 1981
4. M. Bergman, P. Deransart: Abstract data types and rewriting systems: application to the programming of algebraic abstract data types in Prolog. 6th CAAP, Genova, March 1981. LNCS 112
5. J.A. Bergstra, M. Broy, J.V. Tucker, M. Wirsing: On the power of algebraic specifications. 10th MFCS, 1981, LNCS 118