1. P. B. Andrews. A Transfinite Type Theory with Type Variables. Studies in Logic and the foundations of Mathematics, North Holland, 1965.
2. G. Birkhoff. On the Structure of Abstract Algebras. In: Proceedings of the Cambridge Philosophical Society, Vol. 31, 1935.
3. P.M. Cohn. Universal Algebra. Harper and Row, New York, 1965.
4. K. J. Devlin. Fundamentals of Contemporary Set Theory. Springer-Verlag, 1979.
5. J. A. Goguen. Abstract Errors for Abstract Data Types. In: E. J. Neuhold (ed), Formal Descriptions of Programming Concepts, p. 491–522, North-Holland, 1978.