1. G. Birkhoff. Lattice Theory, volume 25. A.M.S. Colloq. Publications, 1967.
2. R.T Casley, R.F. Crew, J. Meseguer, and V.R. Pratt. Temporal structures. In Proc. Conf. on Category Theory and Computer Science, LNCS, Manchester, September 1989. Springer-Verlag. Revised version to appear in Math. Structures in Comp. Sci., 1:1.
3. A. Chandra and D. Harel. Structure and complexity of relational queries. JCSS, 25:99–128, 1982.
4. J.H. Conway. Regular Algebra and Finite Machines. Chapman and Hall, London, 1971.
5. A. De Morgan. On the syllogism, no. IV, and on the logic of relations. Trans. Cambridge Phil. Soc., 10:331–358, 1864.