@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},
}