Sequential Formula Translation (Reprint).
A Syntax Directed Compiler for ALGOL 60 (Reprint).
Ethernet: Distributed Packet Switching for Local Computer Networks (Reprint).
An Axiomatic Basis for Computer Programming (Reprint).
The Structure of "THE"-Multiprogramming System (Reprint).
An Improved Hash Code for Scatter Storage (Reprint).
A Relational Model of Data for Large Shared Data Banks (Reprint).
A Technique for Software Module Specification with Examples (Reprint).
The Quadratic Quotient Method: a Hash Code Eliminating Secondary Clustering (Reprint).
Communicating Sequential Processes (Reprint).
Solutions of a Problem in Concurrent Programming Control (Reprint).
Program Development by Stepwise Refinement (Reprint).
Scatter Storage Techniques (Reprint).
ELIZA - A Computer Program For the Study of Natural Language Communication Between Man And Machine (Reprint).
A Method for Obtaining Digital Signatures and Public-Key Cryptosystems (Reprint).
The Working Set Model for Program Behaviour (Reprint).
Use of Tree Structures for Processing Files (Reprint).
An Efficient Context-Free Parsing Algorithm (Reprint).
Programming Semantics for Multiprogrammed Computations (Reprint).
A Statistical Study of the Accuracy of Floating Point Number Systems (Reprint).
The UNIX Time-Sharing System (Reprint).