Inductive and operational semantics (1991)

by E Astesiano
Venue:Formal Description of Programming Concepts, IFIP State-of-the-Art Report