Specifying the Static Semantics of Block Structural Languages.

Roger Duke D. Johnston Gordon A. Rose Specifying the Static Semantics of Block Structural Languages. 99-104 1987 19 Australian Computer Journal 2 db/journals/acj/acj19.html#DukeJR87