Introduction to lattice theory with computer science applications - Garg, Vijay K. (Vijay Kumar), 1963- (Wiley, 2015)