Solo diagrams (2001)

by Cosimo Laneve, Joachim Parrow, Björn Victor
Venue:In Proceedings of the 4th conference on Theoretical Aspects of Computer Science, TACS’01, number 2215 in Lecture Notes in Computer Science