Declarative Theorem Proving for Operational Semantics (1998)

by D Syme