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