Implementing Operational Semantics (Preliminary Report) (1997)

by Roy L. Crole