| 1996 | Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. | Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan |
| 1996 | Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. | T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen |
| 1996 | Consistency and Refinement for Partial Specification in Z. | Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen |
| 1996 | Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. | Bernard Boigelot, Patrice Godefroid |
| 1996 | A Strategic Approach to Transformational Design. | Jrgen Bohn, Wil Janssen |
| 1996 | Local Nondeterminism in Asynchronously Communicating Processes. | Frank S. de Boer, M. van Hulst |
| 1996 | Quantitative Analysis of an Application of Formal Methods. | Juan Bicarregui, Jeremy Dick, Eoin Woods |
| 1996 | An Example of Use of Formal Methods to Debug an Embedded Software. | Andr Arnold, Didier Bgay, Jean-Pierre Radoux |
| 1996 | A Formal Approach to Architectural Design Patterns. | Paulo S. C. Alencar, Donald D. Cowan, Carlos Jos Pereira de Lucena |
| 1994 | Literate Mathematical Development of a Revision Management System. | Matthias Weber |
| 1994 | RTL and Refutation by Positive Cycles. | Farn Wang, Aloysius K. Mok |
| 1994 | A Strategy for the Production of Verifiable Code Using the B Method. | Andrew Storey, Howard P. Haughton |
| 1994 | A Formal Specification of an Automatic Train Protection System. | Andrew Simpson |
| 1994 | Case Study: Specification and Refinement of the PI-Bus. | Karen Seidel |
| 1994 | A Precise Examination of the Behaviour of Process Models. | Kelvin J. Ross, Peter A. Lindsay |
| 1994 | Experiences in Using the Abstract Machine Notation in a GKS Case Study. | Brian Ritchie, Juan Bicarregui, Howard P. Haughton |
| 1994 | A new Concept of Refinement used for Behaviour Modelling with Automata. | Barbara Paech, Bernhard Rumpe |
| 1994 | Evaluation Semantics in Z. | Colin O'Halloran |
| 1994 | Informal Strategies in Design by Refinement. | Maurice Naftalin |
| 1994 | A Semantics for NewSpeak in VDM-SL. | Paul Mukherjee |
| 1994 | An Action Semantics for ML Concurrency Primitives. | Peter D. Mosses, Martin A. Musicante |
| 1994 | OPUS: a Formal Approach to Object-Orientation. | Tom Mens, Kim Mens, Patrick Steyaert |
| 1994 | Towards a Formalization of Programming-by-Difference. | Ian Maung, John Howse, Richard J. Mitchell |
| 1994 | Verification Techniques for LOTOS. | Ursula Martin, Muffy Thomas |
| 1994 | On transferring VDM verification techniques to Z. | Peter A. Lindsay |