1. Burmeister P., A Model Theoretic Oriented Approach to Partial Algebras, Akademie-Verlag, Berlin, 1986.
2. Ehrig H., Loeckx J. and Mahr B., A Remark on the Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets, Bulletin of the EATCS, n.30, October 1986.
3. Ehrig H. and Mahr B., Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. Springer Verlag, 1985.
4. Goguen J.A. and Meseguer J., Completeness of Many-Sorted Equational Logic, Houston Journal of Mathematics, Vol.11, n.3, 1985, 307–334.
5. Meseguer J. and Goguen J.A., Initiality, Induction and Computability, in M. Nivat and J.C. Reynolds (Eds.) Algebraic Methods in Semantics, Cambridge University Press, 1985, 459–541.