Turning SOS rules into equations. (1994)

by Luca Aceto, Bard Bloom, Frits W Vaandrager
Venue:Information and Computation (I&C) 111,