A congruence theorem for structured operational semantics with predicates / by J.C.M. Baeten and C. Verhoef
A congruence theorem for structured operational semantics with predicates