A Selection Algorithm with a Practical Upper Bound on Expected Number.
Efficient Generation of Lexical Analysers.
The Parser Generating System PGS.
Converting a Portable Pascal-code Interpreter to a Code Generator.
Generic Parameters in occam.
The Elmwood Multiprocessor Operating System.
Complexity Measurement of a Graphical Programming Language.