Turning SOS Rules into Equations (1994)

by L Aceto, B Bloom, F Vaandrager
Venue:Information and Computation