@techreport{rosu-stefanescu-2012-tr-e, author = {Grigore Rosu and Andrei Stefanescu}, institution = {University of Illinois}, title = {Towards a Unified Theory of Operational and Axiomatic Semantics}, number = {http://hdl.handle.net/2142/30827}, month = {May}, year = {2012}, }