Title: Relational and Kleene-algebraic methods in computer science
Subjects: Congresses, Algebraic logic, Relation algebras