Specifications and an Implementation of the Type-ambiguity Problem in Pascal.
Implementation of an Interpreter for Abstract Equations.
A Critique of UNIX.
Compact Recursive-descent Parsing of Exptressions.
A High Level Language Based System for Cross-Assembler Definition.