Structured Operational Semantics and Bisimulation as a Congruence Jan Friso Groote Frits W. Vaandrager 202-260 Inf. Comput. October 1992 100 2 db/journals/iandc/iandc100.html#GrooteV92