1. Church, A.: A formulation of the logic of sense and denotation; in: Structure, Method and Meaning, ed: Henk, Kallen, Langer; Liberal Arts Press, New York, 1951.
2. Ehrig, H.; Loeckx, J.; Mahr, B.: A Remark on the Equational Calculus Manysorted Algebra with Possibly Empty Carrier Sets, Bulletin of the EATCS, No 30, 1986
3. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)
4. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 3. To appear in Springer Verlag 1991
5. Goguen, J.A.; Meseguer, J.: Remarks on Remarks on Many-sorted Equational Logic, Bulletin of the EATCS, No 30, 1986