Formal Foundations of Operational Semantics

Jonathan Ford, Ian A. Mason. Formal Foundations of Operational Semantics. Higher-Order and Symbolic Computation, 16(3):161-202, 2003. [doi]

Bibliographies