An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science, 135)
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science, 428)
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings Volume 2: Tutorials
DIANA. An Intermediate Language for Ada: Revised Version (Lecture Notes in Computer Science, 161)
Algorithm Design for Computer System Design (CISM International Centre for Mechanical Sciences, 284)
MetaSoft Primer Towards a Metalanguage for Applied Denotational Semantics
VDM '88. VDM - The Way Ahead 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
Mathematical Methods in Program Development
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings Volume 1: Conference Contributions
Statistical Mechanics and the Foundations of Thermodynamics (Lecture Notes in Physics, 101)