Lattices to logic - Dubisch Roy (1964)
English