1. J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to specification, correctness and implementation of abstract data types. In: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall (1978), 80–144.
2. H. Andreka, B. Burmeister, I. Nemeti: Quasivarieties of partial algebras — a unifying approach towards a two-valued model theory for partial algebras. TH Darmstadt, FB Mathematik, Preprint Nr. 557.
3. 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.
4. J. Bergstra, J. Tucker: Initial and final algebra semantics for data type specifications: Two characterisation theorems. Math. Centre, Dept. of Comp. Science Report IW 142, Amsterdam, 1980.
5. J.A. Bergstra, M. Broy, J.V. Tucker, M. Wirsing: On the power of algebraic specifications. To appear.