1. Blumenthal, L. M . [1953], Theory and Applications of Distance Geometry, Oxford University Press.
2. Blumenthal, L. M . [1970], ‘Lattice Geometries’, pp. 1–132 of L. M. Blumenthal and K. Menger, Studies in Geometry, W. H. Freeman & Co., San Francisco.
3. Curry, H. B . [1963], Foundations of Mathematical Logic, McGraw Hill, New York.
4. Elliott, J. G . [1953], ‘Autometrization and the Symmetric Difference’, Canadian Journal of Mathematics 5, pp. 324–331.
5. Ellis, D. O . [1951a], ‘Autometrized Boolean Algebras I’, Canadian Journal of Mathematics 3, pp. 87–93.