| 1995 | Towards Automatic Parallelization of Logic Programs (Abstract). | Krzysztof R. Apt |
| 1995 | Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. | Klaus Achatz, Wolfram Schulte |
| 1995 | Derivation of Parallel Algorithms from Functional Specifications to CSP Processes. | Ali E. Abdallah |
| 1992 | Modular Reasoning in an Object-Oriented Refinement Calculus. | Mark Utting, Ken Robinson |
| 1992 | Programming for Behaviour. | Wladyslaw M. Turski |
| 1992 | Derivation of a Parallel Matching Algorithm. | Yellamraju V. Srinivas |
| 1992 | A Calculus for Predicative Programming. | Emil Sekerinski |
| 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 | True Concurrency: Theory and Practice. | Ugo Montanari |
| 1992 | Shorter Paths to Graph Algorithms. | Bernhard Mller, Martin Russling |
| 1992 | An Operational Semantics for the Guarded Command Language. | Johan J. Lukkien |
| 1992 | Designing Arithmetic Circuits by Refinement in Ruby. | Geraint Jones, Mary Sheeran |
| 1992 | Pretty-printing: An Exercise in Functional Programming. | John Hughes |
| 1992 | A Derivation of Huffman's Algorithm. | Rob R. Hoogerwoord |
| 1992 | A Logarithmic Implementation of Flexible Arrays. | Rob R. Hoogerwoord |
| 1992 | (Relational) Programming Laws in the Boom Hierarchy of Types. | Paul F. Hoogendijk |
| 1992 | Distributing a Class of Sequential Programs. | H. Peter Hofstee |
| 1992 | Upwards and Downwards Accumulations on Trees. | Jeremy Gibbons |
| 1992 | An Algebraic Construction of Predicate Transformers. | Paul H. B. Gardiner, Clare E. Martin, Oege de Moor |
| 1992 | Conservative Fixpoint Functions on a Graph. | J. P. H. W. van den Eijnde |
| 1992 | On the Economy of doing Mathematics. | Edsger W. Dijkstra |
| 1992 | Extended Calculus of Constructions as a Specification Language (Abstract). | Rod M. Burstall |
| 1992 | A Time-Interval Calculus. | S. M. Brien |
| 1992 | Solving Optimisation Problems with Catamorphism. | Richard S. Bird, Oege de Moor |