High-level semantics, an integrated approach to programming language semantics and the specification of implementations (1987)

by Uwe F Pleban, Peter Lee
Venue:In Proc. Mathmatical Foundations of Programming Language Semantics