| 1993 | Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System. | Eugne Drr, Liesbeth M. Dusink |
| 1993 | The Parallel Abstract Machine: A Common Execution Model for FDTs. | Guillaume Doumenc, Jean-Franois Monin |
| 1993 | Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. | Jeremy Dick, Alain Faivre |
| 1993 | Experience from Applications of RAISE. | Bent Dandanell, Jesper Grtz, Jan Storbank Pedersen, Eld Zierau |
| 1993 | Formal Methods Reality Check: Industrial Usage. | Dan Craigen, Susan L. Gerhart, Ted Ralston |
| 1993 | Applications of Modal Logic for the Specification of Real-Time Systems. | Liang Chen, Alistair Munro |
| 1993 | Using Relative Refinement for Fault Tolerance. | Antonio Cau, Willem P. de Roever |
| 1993 | A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. | Andrew Butterfield |
| 1993 | A Proof Environment for Concurrent Programs. | Naima Brown, Dominique Mry |
| 1993 | The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. | Jonathan P. Bowen, Victoria Stavridou |
| 1993 | Specification and Validation of a Security Policy Model. | Anthony Boswell |
| 1993 | Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. | Juan Bicarregui, Brian Ritchie |
| 1993 | Algorithm Refinement with Read and Write Frames. | Juan Bicarregui |
| 1993 | Model Checking in Practice - The T9000 Virtual Channel Processor. | Geoff Barrett |
| 1993 | A Metalanguage for the Formal Requirement Specification of Reactive Systems. | Egidio Astesiano, Gianna Reggio |
| 1991 | Techniques for Partial Specification and Specification of Switching Systems. | Pamela Zave, Michael Jackson |
| 1991 | Two Refinement Case Studies. | Jim Woodcock |
| 1991 | An Introduction to Refinement in Z. | Jim Woodcock |
| 1991 | The Refinement Calculus. | Jim Woodcock |
| 1991 | A Tutorial on the Refinement Calculus. | Jim Woodcock |
| 1991 | Unintrusive Ways to Integrate Formal Specifications in Practice. | Jeannette M. Wing, Amy Moormann Zaremski |
| 1991 | Deriving Transivity of VDM-Reification in DEVA. | Matthias Weber |
| 1991 | An Attempt to Reason about Shared-State Concurrency in the Style of VDM. | Ketil Stlen |
| 1991 | The Formal Development of a Secure Transaction Mechanism. | Paul Smith, Richard Keighley |
| 1991 | The VDM Domain Compiler: A VDM Class Library Generator. | Uwe Schmidt, Hans-Martin Hrcher |