| 1998 | An Approach to Object-Orientation in Action Systems. | Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere |
| 1998 | Nested Datatypes. | Richard S. Bird, Lambert G. L. T. Meertens |
| 1998 | An Application of Program Derivation Techniques to 18th-Century Mathematics. | A. Bijlsma |
| 1998 | Relation-Algebraic Derivation of Spanning Tree Algorithms. | Rudolf Berghammer, Burghard von Karger, Andreas Wolf |
| 1995 | ImpUNITY: UNITY with Procedures and Local Variables. | Rob T. Udink, Joost N. Kok |
| 1995 | A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers. | Ketil Stlen |
| 1995 | Specware: Formal Support for Composing Software. | Yellamraju V. Srinivas, Richard Jllig |
| 1995 | Computer-Aided Computing. | Natarajan Shankar |
| 1995 | A General Scheme for Breadth-First Graph Traversal. | Martin Russling |
| 1995 | Synthesizing Proofs from Programs in the Calculus of Inductive Constructions. | Catherine Parent |
| 1995 | Extracting Programs with Exceptions in an Impredicative Type System. | Jean-Franois Monin |
| 1995 | Angelic Termination in Dijkstra's Calculus. | Wim H. Hesselink |
| 1995 | Algebraic Proof Assistants in HOL. | Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding |
| 1995 | An Initial-Algebra Approach to Directed Acyclic Graphs. | Jeremy Gibbons |
| 1995 | Program Construction by Parts. | Marc Frappier, Ali Mili, Jules Desharnais |
| 1995 | Induction and Recursion on Datatypes. | Henk Doornbos, Roland Carl Backhouse |
| 1995 | A Simple, Efficient, and Flexible Implementation of Flexible Arrays. | Victor J. Dielissen, Anne Kaldewaij |
| 1995 | A Graphical Calculus. | Sharon Curtis, Gavin Lowe |
| 1995 | Program Construction in Intuitionistic Type Theory (Abstract). | Thierry Coquand |
| 1995 | Mathematics of Software Engineering. | Manfred Broy |
| 1995 | A Compositional Proof System for Asynchronously Communicating Processes. | Frank S. de Boer, M. van Hulst |
| 1995 | Functional Algorithm Design. | Richard S. Bird |
| 1995 | Formal Derivation of CSP Programs From Temporal Specifications. | Rudolf Berghammer, Burghard von Karger |
| 1995 | An Action System Specification of the Caltech Asynchronous Microprocessor. | Ralph-Johan Back, Alain J. Martin, Kaisa Sere |
| 1995 | Exploring Summation and Product Operators in the Refinement Calculus. | Ralph-Johan Back, Michael J. Butler |