Operational semantics: concepts and their expression (2003)

by Cliff B. Jones
Venue:Information Processing Letters
Citations:7 - 5 self