Some Practical Experience with a Software Quality Assurance Program.
Control Flow and Data Structure Documentation: Two Experiments.
Approximation Algorithms for Convex Hulls.
DIAGRAM: A Grammar for Dialogues.
Generating Gamma Variates by a Modified Rejection Technique.
The New (1982) Computing Reviews Classification System - Final Version.