Inductive and Operational Semantics (1991)

by Edigio Astesiano
Venue:Formal Description of Programming Concepts, IFIP State-ofthe-Art Reports