1. S.Abramsky, Domain Theory in Logical Form, LICS'87, Cornell 1987
2. A.Avron, F.A.Honsell, I.A.Mason, Using Typed Lambda Calculus to Implement Formal Systems on a Machine, this volume, 1987
3. J.A.Goguen, J.W.Thatcher, e.G.Wagner, J.B.Wright, An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, In: R.Yeh(ed.) Current Trends in Programming Methodology, IV: Data Structuring, Prentice Hall, 1977
4. J.Barwise, Axioms for Abstract Model theory, Annals of Mathematical Logic 7, 1974
5. K.Benecke, H.Reichel, Equational Partiality, Algebra Universalis 16, 1983