Title: Relational and Algebraic Methods in Computer Science
Subjects: Computer science, mathematics, Algebraic logic