| 1992 | Calculating a Path Algorithm. | Roland Carl Backhouse, A. J. M. van Gasteren |
| 1992 | An Alternative Derivation of a Binary Heap Construction Function. | Lex Augusteijn |
| 1989 | Rabbitcount : = Rabbitcount - 1. | Jaap van der Woude |
| 1989 | A Categorial Approch to the Theory of Lists. | J. Michael Spivey |
| 1989 | Algorithm Theories and Design Tactics. | Douglas R. Smith, Michael R. Lowry |
| 1989 | Types and Invariants in the Refinement Calculus. | Carroll Morgan |
| 1989 | Applicative Assertions. | Bernhard Mller |
| 1989 | Specifications of Concurrently Accessed Data. | Jayadev Misra |
| 1989 | Constructing a Calculus of Programs. | Lambert G. L. T. Meertens |
| 1989 | Towards Totally Verified Systems. | David May, David Shepherd |
| 1989 | Homomorphisms and Promotability. | Grant Malcolm |
| 1989 | The Formal Construction of a Parallel Triangular System Solver. | L. D. J. C. Loyens, Rob H. Bisseling |
| 1989 | The Projection of Systolic Programs. | Christian Lengauer, Jeff W. Sanders |
| 1989 | Searching by Elimination. | Anne Kaldewaij, Berry Schoenmakers |
| 1989 | A Derivation of a Systolic Rank Order Filter with Constant Response Time. | Anne Kaldewaij, Martin Rem |
| 1989 | Initialisation with a Final Value, an Exercise in Program Transformation. | Wim H. Hesselink |
| 1989 | Realizability Models for Program Construction. | Martin C. Henson |
| 1989 | Termination is Timing. | Eric C. R. Hehner |
| 1989 | Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. | John Hannan, Dale Miller |
| 1989 | Stepwise Refinement and Concurrency: A Small Exercise. | E. Pascal Gribomont |
| 1989 | Networks of Communicating Processes and Their (De-)Composition. | Wei Chen, Jan Tijmen Udding, Tom Verhoeff |
| 1989 | Towards a Calculus of Data Refinement. | Wei Chen, Jan Tijmen Udding |
| 1989 | Mathematics of Program Construction Applied to Analog Neural Networks. | K. Mani Chandy |
| 1989 | Transformational Programming and Forests. | A. Bijlsma |
| 1989 | A Lattice-theoretical Basis for a Specification Language. | Ralph-Johan Back, Joakim von Wright |