Data structures and terminating Petri nets (1992)

by D D Sleator
Venue:Latin'92, LNCS 583, Springer-Verlag