Groote, J. F., & Vaandrager, F. W. (1988). Structured operational semantics and bisimulation as a congruence.
Chicago Style (17th ed.) CitationGroote, Jan F., and Frits W. Vaandrager. Structured Operational Semantics and Bisimulation as a Congruence. Amsterdam, 1988.
MLA (9th ed.) CitationGroote, Jan F., and Frits W. Vaandrager. Structured Operational Semantics and Bisimulation as a Congruence. 1988.
Warning: These citations may not always be 100% accurate.