Inductive and operational semantics, in: E.J (1991)

by E Astesiano
Venue:Neuhold, M. Paul (Eds.), Formal Description of Programming Concepts, IFIP State-of-the-Art Report