Algebraic theory of lattices - Crawley, Peter (Prentice-Hall, 1973)