| 1 | -- | 2 | Michel Sintzoff. Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction) |
| 3 | -- | 0 | Bernhard Möller. Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction) |
| 5 | -- | 9 | Roland Carl Backhouse. Mathematics of Program Construction |
| 11 | -- | 14 | Wladyslaw M. Turski. I Was a Computer |
| 15 | -- | 31 | Richard S. Bird. Functional Algorithm Design |
| 33 | -- | 57 | Natarajan Shankar. Steps Toward Mechanizing Program Transformations Using PVS |
| 59 | -- | 78 | Klaus Achatz, Wolfram Schulte. Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists |
| 79 | -- | 97 | Ralph-Johan Back, Alain J. Martin, Kaisa Sere. Specifying the Caltech Asynchronous Microprocessor |
| 99 | -- | 115 | Rudolf Berghammer, Burghard von Karger. Towards a Design Calculus for CSP |
| 117 | -- | 132 | Martin Russling. Deriving a Class of Layer-Oriented Graph Algorithms |
| 133 | -- | 148 | Krzysztof R. Apt. Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming |
| 149 | -- | 165 | Anne Kaldewaij, Victor J. Dielissen. Leaf Trees |
| 167 | -- | 177 | Thierry Coquand. An Algorithm for Type-Checking Dependent Types |
| 179 | -- | 196 | Jean-François Monin. Exceptions Considered Harmless |
| 197 | -- | 216 | Sharon Curtis, Gavin Lowe. Proofs with Graphs |
| 217 | -- | 236 | Henk Doornbos, Roland Carl Backhouse. Reductivity |
| 237 | -- | 254 | Marc Frappier, Ali Mili, Jules Desharnais. A Relational Calculus for Program Construction by Parts |
| 255 | -- | 272 | Ketil Stølen. Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication |