VDM-10 Language Manual

References
[Ada LRM]
[Bicarregui&94]
[Bjørner&78]
[Dawes91]
[Fitzgerald&05]
[Fitzgerald&08a]
Reference Manual for the Ada Programming Language. Technical Report,
United States Government (Department of Defence), American National
Standards Institute, 1983.
Juan Bicarregui and John Fitzgerald and Peter Lindsay and Richard Moore
and Brian Ritchie. Proof in VDM: A Practitioner’s Guide. FACIT, Springer-
Verlag, 1994. 245 pages. ISBN 3-540-19813-X.
This book is a tutorial on the process of formal reasoning in VDM. It discusses
how to go about about building proofs and provides the most complete
set of proof rules for VDM-SL to date.
D. Bjørner and C.B. Jones, editors. The Vienna Development Method: The
Meta-Language. Volume 61 of Lecture Notes in Computer Science, Springer-
Verlag, 1978.
This was the first monograph on Meta-IV. See also entries: [?], [?], [?], [?],
[?], [?]
John Dawes. The VDM-SL Reference Guide. Pitman, 1991. 217 pages.
ISBN 0-273-03151-1.
This is the best reference manual for the complete VDM-SL which is being
standardised. It refers to a draft version of the standard which is quite close
to the current version of the standard.
John Fitzgerald and Peter Gorm Larsen and Paul Mukherjee and Nico Plat
and Marcel Verhoef. Validated Designs for Object–oriented Systems. Springer,
New York, 2005.
J. S. Fitzgerald and P. G. Larsen and M. Verhoef. Vienna Development
Method. Wiley Encyclopedia of Computer Science and Engineering, 2008.
11 pages. edited by Benjamin Wah, John Wiley & Sons, Inc.
169