Operational semantics: Concepts and their expression (2003)

by Cliff B Jones
Venue:Information Processing Letters