| 1990 | Towards a Semantics for Object-Z. | David J. Duke, Roger Duke |
| 1990 | A Formal Semantics for Z and the Link between Z and the Relational Algebra. | M. J. van Diepen, Kees M. van Hee |
| 1990 | Object Orientation and Formal Techniques. | Ole-Johan Dahl |
| 1990 | Z Specification of an Object Manager. | Patrice Chalin, Peter Grogono |
| 1990 | On Conservative Extensions of Syntax in the Process of System Development. | Andrzej Blikle, Mikkel Thorup |
| 1990 | Towards the Semantics of the Definitional Language of MetaSoft. | Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski |
| 1990 | Recursive Definitions Revisited. | Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski |
| 1988 | Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. | Jim Woodcock, B. Dickinson |
| 1988 | The Use of VDM in the Specification of Chinese Characters. | Ghee S. Teo, Mchel Mac an Airchinnigh |
| 1988 | Test Case Selection using VDM. | G. T. Scullard |
| 1988 | Formal Methods in Standards - A Report from the BCS Working Group. | Clive Ruggles |
| 1988 | Towards a Formal Definition of GKS and other Graphic Standards. | Clive Ruggles |
| 1988 | VDM Development with ADA as the Target Language. | David O'Neill |
| 1988 | The RAISE Language, Method and Tools. | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George |
| 1988 | Correctness for Beginners. | Maurice Naftalin |
| 1988 | Proof Rules for VDM Statements. | Robert Milne |
| 1988 | The VIP VDM Specification Language. | Kees Middelburg |
| 1988 | A Three-Valued Logic for Software Specification and Validation. | Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle |
| 1988 | Software Support for the Refinement of VDM Specifications. | Peter Kilpatrick, P. McParland |
| 1988 | MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. | Cliff B. Jones, Richard C. Moore |
| 1988 | A Support System for Formal Reasoning: Requirements and Status. | Cliff B. Jones, Peter A. Lindsay |
| 1988 | NUSL: An Executable Specification Language Based on Data Abstraction. | XinJie Jiang, YongSen Xu |
| 1988 | SAMPLE - A Functional Language. | Michael Jger, Michael Gloger, Stefan Kaes |
| 1988 | Mutually Recursive Algebraic Domain Equations. | Anne E. Haxthausen |
| 1988 | Computing is a Physical Science (Abstract). | Donald I. Good |