Structured operational semantics and bisimulation as a congruence (1992)

by J F Groote, F W Vaandrager
Venue:Information and Computation