Donald L. Iglehart and Peter A. W. Lewis . Regenerative simulation with internal controls. Data structures and correctness of programs. Concurrent processes and their syntax. Barry K. Rosen .
Data flow analysis for procedural languages.
A purely homomorphic characterization of recursively enumerable sets. Robert E. Shostak . A practical decision procedure for arithmetic with function symbols. Nicholas Pippenger and Michael J. Fischer . Relations among complexity measures.