Comment on Computing the k Shortest Paths in a Graph.
Abstraction Mechanisms in CLU.
An Efficient Data Structure for the Simulation Event Set.
Toward a Discipline of Real-Time Programming.
Early Experience with Mesa.
An Experimental Evaluation of Data Type Conventions.
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.
Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction.
Another Advantage of Keyword Notation for Parameter Communication with Subprograms.
Corrigendum: Production and Employment of Ph.D.'s in Computer Science - 1976.