1 books in this genre
Relational and Kleene-algebraic methods in computer science
International Seminar on Relational Methods in Computer Science (7th 2003 Bad Malente, Germany)
