Trace theory (1987)

by A Mazurkiewicz
Venue:of Lecture notes in computer science