| 1995 | A Compositional Proof System for Asynchronously Communicating Processes. Frank S. de Boer, M. van Hulst |
| 1995 | A General Scheme for Breadth-First Graph Traversal. Martin Russling |
| 1995 | A Graphical Calculus. Sharon Curtis, Gavin Lowe |
| 1995 | A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers. Ketil Stølen |
| 1995 | A Simple, Efficient, and Flexible Implementation of Flexible Arrays. Victor J. Dielissen, Anne Kaldewaij |
| 1995 | Algebraic Proof Assistants in HOL. Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding |
| 1995 | An Action System Specification of the Caltech Asynchronous Microprocessor. Ralph-Johan Back, Alain J. Martin, Kaisa Sere |
| 1995 | An Initial-Algebra Approach to Directed Acyclic Graphs. Jeremy Gibbons |
| 1995 | Angelic Termination in Dijkstra's Calculus. Wim H. Hesselink |
| 1995 | Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. Klaus Achatz, Wolfram Schulte |
| 1995 | Computer-Aided Computing. Natarajan Shankar |
| 1995 | Derivation of Parallel Algorithms from Functional Specifications to CSP Processes. Ali E. Abdallah |
| 1995 | Exploring Summation and Product Operators in the Refinement Calculus. Ralph-Johan Back, Michael J. Butler |
| 1995 | Extracting Programs with Exceptions in an Impredicative Type System. Jean-François Monin |
| 1995 | Formal Derivation of CSP Programs From Temporal Specifications. Rudolf Berghammer, Burghard von Karger |
| 1995 | Functional Algorithm Design. Richard S. Bird |
| 1995 | ImpUNITY: UNITY with Procedures and Local Variables. Rob T. Udink, Joost N. Kok |
| 1995 | Induction and Recursion on Datatypes. Henk Doornbos, Roland Carl Backhouse |
| 1995 | Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings Bernhard Möller |
| 1995 | Mathematics of Software Engineering. Manfred Broy |
| 1995 | Program Construction by Parts. Marc Frappier, Ali Mili, Jules Desharnais |
| 1995 | Program Construction in Intuitionistic Type Theory (Abstract). Thierry Coquand |
| 1995 | Specware: Formal Support for Composing Software. Yellamraju V. Srinivas, Richard Jüllig |
| 1995 | Synthesizing Proofs from Programs in the Calculus of Inductive Constructions. Catherine Parent |
| 1995 | Towards Automatic Parallelization of Logic Programs (Abstract). Krzysztof R. Apt |