1. The design of the GIER ALGOL compiler Part I
2. Testing a multiprogramming system
3. The Architecture of Concurrent Programs, Prentice-Hall, Englewood Cliffs, N.J., July 1977.
4. and , ‘Toward a theory of testing: data selection criteria’, in Current Trends in Programming Methodology II (Ed. ), Prentice-Hall, Englewood Cliffs, N.J., 1977.