Axioms For Lattices And Boolean Algebras by R. Padmanabhan & S. Rudeanu