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