The Structure and Uses of the Edinburgh Remote Terminal Emulator.
Improvement of Relocatable Linkage Editor (loader) Input.
A 1900 FORTRAN
An Evaluation of the Effectiveness of Symbolic Testing.
Data Mappings Again.
Unbounded Computational Structures.
A Simplification of Code Tables in a One-pass PL/M Compiler.
A Monitor for Small Computers.
A Symbolic System for Computer-aided Development of Surface Interpolants.
Another Look at Type Compatibility in Pascal.