Email Record: Introduction to lattice theory with computer science applications /