| 1 | -- | 2 | Michel Sintzoff. Editorial |
| 3 | -- | 4 | Edsger W. Dijkstra. A Word of Welcome |
| 5 | -- | 48 | Zohar Manna. Deductive Synthesis of the Unification Algorithm |
| 49 | -- | 72 | C. A. R. Hoare. A Calculus of Total Correctness for Communicating Processes |
| 73 | -- | 114 | Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner. Programming in a Wide Spectrum Language: A Collection of Examples |
| 115 | -- | 144 | Eike Best, Flaviu Cristian. Systematic Detection of Exception Occurrences |
| 145 | -- | 147 | W. H. J. Feijen. Bulterman s Reshuffling Problem |