Text this: Introduction to lattice theory with computer science applications /