Problems with the Language Modula-2.
An Empirical Analysis of Spreadsheet Calculation.
A Recovery Block Scheme for a VAX11/750 Running Unix.
CSP-i: An Implementation of Communicating Sequential Processes.
Low-level Programming in Modula-2: an Experience with Local Area Network Access.
Converting Interpreters into Compilers.