The use of action semantics (1986)

by Peter D Mosses, David A Watt
Venue:In Proc. IFIP TC2 Working Conference on Formal Description of Programming Concepts III (Gl. Avernæs