Executable Operational Semantics of Programming Languages. - Brian Siritzky (1992)