Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 (1992)

by J F Groote, F Vaandrager