| 1993 | Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29 - July 3, 1992, Proceedings Richard S. Bird, Carroll Morgan, Jim Woodcock |
| 1992 | (Relational) Programming Laws in the Boom Hierarchy of Types. Paul F. Hoogendijk |
| 1992 | A Calculus for Predicative Programming. Emil Sekerinski |
| 1992 | A Derivation of Huffman's Algorithm. Rob R. Hoogerwoord |
| 1992 | A Logarithmic Implementation of Flexible Arrays. Rob R. Hoogerwoord |
| 1992 | A Time-Interval Calculus. S. M. Brien |
| 1992 | An Algebraic Construction of Predicate Transformers. Paul H. B. Gardiner, Clare E. Martin, Oege de Moor |
| 1992 | An Alternative Derivation of a Binary Heap Construction Function. Lex Augusteijn |
| 1992 | An Operational Semantics for the Guarded Command Language. Johan J. Lukkien |
| 1992 | Calculating a Path Algorithm. Roland Carl Backhouse, A. J. M. van Gasteren |
| 1992 | Conservative Fixpoint Functions on a Graph. J. P. H. W. van den Eijnde |
| 1992 | Derivation of a Parallel Matching Algorithm. Yellamraju V. Srinivas |
| 1992 | Designing Arithmetic Circuits by Refinement in Ruby. Geraint Jones, Mary Sheeran |
| 1992 | Distributing a Class of Sequential Programs. H. Peter Hofstee |
| 1992 | Extended Calculus of Constructions as a Specification Language (Abstract). Rod M. Burstall |
| 1992 | Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space. Berry Schoenmakers |
| 1992 | Logical Specifications for Functional Programs. Theodore S. Norvell, Eric C. R. Hehner |
| 1992 | Modular Reasoning in an Object-Oriented Refinement Calculus. Mark Utting, Ken Robinson |
| 1992 | On the Economy of doing Mathematics. Edsger W. Dijkstra |
| 1992 | Pretty-printing: An Exercise in Functional Programming. John Hughes |
| 1992 | Programming for Behaviour. Wladyslaw M. Turski |
| 1992 | Shorter Paths to Graph Algorithms. Bernhard Möller, Martin Russling |
| 1992 | Solving Optimisation Problems with Catamorphism. Richard S. Bird, Oege de Moor |
| 1992 | True Concurrency: Theory and Practice. Ugo Montanari |
| 1992 | Upwards and Downwards Accumulations on Trees. Jeremy Gibbons |