Peter Jipsen

• Relational and Algebraic Methods in Computer Science
• Varieties of Lattices