| 1 | -- | 2 | Carroll Morgan. Foreword: Special Issue on Mathematics of Program Construction |
| 3 | -- | 19 | Roland Carl Backhouse, J. P. H. W. van den Eijnde, A. J. M. van Gasteren. Calculating Path Algorithms |
| 21 | -- | 44 | Paul H. B. Gardiner, Clare E. Martin, Oege de Moor. An Algebraic Construction of Predicate Transformers |
| 45 | -- | 65 | H. Peter Hofstee. Distributing a Class of Sequential Programs |
| 67 | -- | 105 | Paul F. Hoogendijk, Roland Carl Backhouse. Relational Programming Laws in the Tree, List, Bag, Set Hierarchy |
| 107 | -- | 135 | Geraint Jones, Mary Sheeran. Designing Arithmetic Circuits by Refinement in Ruby |
| 137 | -- | 155 | Johan J. Lukkien. Operational Semantics and Generalized Weakest Preconditions |
| 157 | -- | 180 | Bernhard Möller, Martin Russling. Shorter Paths to Graph Algorithms |