1. J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Current Trends in Programming Methodology IV. 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 Math. Preprint Nr. 557.
3. A. Arnold, M. Karpinski: An easy improvement of Bergstra-Meyer's 81 equations bound for data specifications. EATCS Bull. 12, /1980/.
4. F.L. Bauer, H. Wössner: Algorithmic language and program development. Berlin: Springer /1981/, to appear.
5. J. Bergstra, J. Meyer: On bounds for the specification of finite monoids by means of equations using only unary hidden functions. Univ. of Leiden, Rep. 80-11, /1980/.