Formal Semantics of Programming Languages: VDL.

Peter Lucas Formal Semantics of Programming Languages: VDL. 549-561 1981 25 IBM Journal of Research and Development 5 db/journals/ibmrd/ibmrd25.html#Lucas81