Addressing Types and Objects in Ada.
The Design of a Terminal Independent Package.
Operating-system Enhancements for a Fault-tolerant Dual-processor Structure for the Control of an Industrial Process.
A Prolog Implementation of an Instruction-level Processor Simulator.