A Run-Time Mechanism for Referencing Variables. - Wolfgang Henhapl; Cliff B. Jones (Inf. Process. Lett., 1971)

A Transformation of Marked Graphs. - Wolfgang Henhapl (Inf. Process. Lett., 1973)

A Formal Definition of Algol 60 as Described in the 1975 Modified Report. - Wolfgang Henhapl; Cliff B. Jones (The Vienna Development Method: The Meta-Language, 1978)

A Critical Review of PASCAL on a Formal Storage Model. - Burkhard Austermühl; Wolfgang Henhapl (Fachtagung über Programmiersprachen, 1980)

Industrieprogramm: PSG. - M. Jäger; Rolf Bahlke; Wolfgang Henhapl; M. Hunkel; Thomas Letschert; Gregor Snelting (Programmierumgebungen und Compiler, 1984)

On the Formal Definition of a PL/I Subset (Selected parts). - Hans Bekic; Dines Bjørner; Wolfgang Henhapl; Cliff B. Jones; Peter Lucas 001 (Programming Languages and Their Definition, 1984)

Context Relations - a Concept for Incremental Context Analysis in Program Fragments. - Wolfgang Henhapl; Gregor Snelting (Fachtagung über Programmiersprachen, 1984)

Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. - Gregor Snelting; Wolfgang Henhapl (POPL, 1986)

VDM - Vienna Development Method. - Wolfgang Henhapl; Thomas Letschert (it Inf. Technol., 1987)

Utilizing Fifth Generation Technology in Software Development Tools. - Wolfgang Henhapl; Stefan Kaes; Gregor Snelting (Software Development Environments and CASE Technology, 1991)