Exception Handling: Issues and a Proposed Notation.
The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars.
A Fast and Usually Linear Algorithm for Global Flow Analysis (Abstract).
Automatic Data Structure Choice in a Language of Very High Level.
On the Complexity of LR(k) Testing.
Programming Languages, Natural Languages, and Mathematics.
Reduction: A Method of Proving Properties of Parallel Programs.