Describir: Introduction to lattice theory with computer science applications /