Chris Verhoef. A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. Nord. J. Comput., 2(2):274-302, 1995.
@article{Verhoef95, title = {A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises}, author = {Chris Verhoef}, year = {1995}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/Verhoef95}, cites = {0}, citedby = {0}, journal = {Nord. J. Comput.}, volume = {2}, number = {2}, pages = {274-302}, }