Technical Reports
1979
In Search of an Optimal Machine Architecture for BCPL
Anaphora in natural Language Understanding: A Survey
Equality and Domain Closure in First Order Data Bases
Programming Skill Acquisition --- Progress Report
Multi-process Structuring and the THOTH Operating System
Message-Passing, Spaces and Agents
Saturation Estimation in Interactive Computer Systems
A Logic for Default Reasoning
Designing an Operating System to be Verifiable
Process Identification in THOTH
Three BCPL Machines
The Pica-B Computer
Approaching Discourse Computationally: A Review
Representing Spatial Experience & Solving Spatial Problems in a Simulated Robot Environment
The Design of a Verifiable Operating System Kernel