| 1989 | A Categorial Approch to the Theory of Lists. J. Michael Spivey |
| 1989 | A Derivation of a Systolic Rank Order Filter with Constant Response Time. Anne Kaldewaij, Martin Rem |
| 1989 | A Formal Approach To Large Software Construction. Jean-Raymond Abrial |
| 1989 | A Lattice-theoretical Basis for a Specification Language. Ralph-Johan Back, Joakim von Wright |
| 1989 | Algorithm Theories and Design Tactics. Douglas R. Smith, Michael R. Lowry |
| 1989 | Applicative Assertions. Bernhard Möller |
| 1989 | Constructing a Calculus of Programs. Lambert G. L. T. Meertens |
| 1989 | Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. John Hannan, Dale Miller |
| 1989 | Homomorphisms and Promotability. Grant Malcolm |
| 1989 | Initialisation with a Final Value, an Exercise in Program Transformation. Wim H. Hesselink |
| 1989 | Mathematics of Program Construction Applied to Analog Neural Networks. K. Mani Chandy |
| 1989 | Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings Jan L. A. van de Snepscheut |
| 1989 | Networks of Communicating Processes and Their (De-)Composition. Wei Chen, Jan Tijmen Udding, Tom Verhoeff |
| 1989 | Rabbitcount : = Rabbitcount - 1. Jaap van der Woude |
| 1989 | Realizability Models for Program Construction. Martin C. Henson |
| 1989 | Searching by Elimination. Anne Kaldewaij, Berry Schoenmakers |
| 1989 | Specifications of Concurrently Accessed Data. Jayadev Misra |
| 1989 | Stepwise Refinement and Concurrency: A Small Exercise. E. Pascal Gribomont |
| 1989 | Stepwise Refinement of Action Systems. Ralph-Johan Back, Kaisa Sere |
| 1989 | Termination is Timing. Eric C. R. Hehner |
| 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 | Towards Totally Verified Systems. David May, David Shepherd |
| 1989 | Towards a Calculus of Data Refinement. Wei Chen, Jan Tijmen Udding |
| 1989 | Transformational Programming and Forests. A. Bijlsma |
| 1989 | Types and Invariants in the Refinement Calculus. Carroll Morgan |