1. Lattice Theory;BIRKHOFF,1967
2. Algebra;BIRKHOFF,1968
3. Residuation Theory;BLYTH,1972
4. Separating sets in modular lattices with applications to congruence lattices;BURRIS;Alg. Univ.,1975
5. Non-commutative residuated lattices;DILWORTH;Trans. Amer. Math. Soc.,1939