PIC-A Language for Typesetting Graphics.
Real-time Checkout: The 'Source Error First'.
The Syntax of Interactive Command Languages.
A FORTRAN Implementation of Concurrent Pascal.
A Mainframe Implementation of Concurrent Pascal.
A Comparison of Three String Matching Algorithms.
Backtrack Search Algorithms and the Maximal Common Subgraph Problem.
The Practicality of Text Signatures for Accelerating String Searching.
'My System Gives Excellent Error Messages'-Or Does It?