Editing Vienna Development Method (section)

==Further reading==
* {{Cite book| last = Bjørner | first = Dines |author2=Cliff B. Jones  | title = The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science 61 | publisher = Springer | year = 1978 | location = Berlin, Heidelberg, New York | isbn = 978-0-387-08766-5 }}
* {{Cite book| last = O'Regan | first = Gerard | title = Mathematical Approaches to Software Quality | publisher = Springer | year = 2006 | location = London | isbn = 978-1-84628-242-3 }}
* {{Cite book| editor=Cliff B. Jones | title = Programming Languages and Their Definition — H. Bekič (1936-1982)| series = [[Lecture Notes in Computer Science]] | volume= 177 | publisher = Springer-Verlag | year = 1984 | location = Berlin, Heidelberg, New York, Tokyo | isbn = 978-3-540-13378-0 | doi = 10.1007/BFb0048933| s2cid = 7488558}}
* [[John Fitzgerald (computer scientist)|Fitzgerald, J.S.]] and Larsen, P.G., ''Modelling Systems: Practical Tools and Techniques in Software Engineering''. [[Cambridge University Press]], 1998 {{ISBN|0-521-62348-0}} (Japanese Edition pub. [[Iwanami Shoten]] 2003 {{ISBN|4-00-005609-3}}).<ref>[http://www.csr.ncl.ac.uk/modelling-book/ ''Modelling Systems: Practical Tools and Techniques in Software Engineering'']</ref>
* [[John Fitzgerald (computer scientist)|Fitzgerald, J.S.]], Larsen, P.G., Mukherjee, P., Plat, N. and Verhoef, M., ''Validated Designs for Object-oriented Systems''. [[Springer Verlag]] 2005. {{ISBN|1-85233-881-4}}. Supporting web site [http://www.vdmbook.com] includes examples and free tool support.<ref>[http://www.vdmbook.com/ ''Validated Designs for Object-oriented Systems'']</ref>
* [[Cliff Jones (computer scientist)|Jones, C.B.]], ''Systematic Software Development using VDM'', [[Prentice Hall]] 1990. {{ISBN|0-13-880733-7}}. Also available on-line and free of charge: http://www.csr.ncl.ac.uk/vdm/ssdvdm.pdf.zip
* [[Dines Bjørner|Bjørner, D.]] and [[Cliff Jones (computer scientist)|Jones, C.B.]], ''Formal Specification and Software Development'' [[Prentice Hall]] International, 1982. {{ISBN|0-13-880733-7}}
* J. Dawes, ''The VDM-SL Reference Guide'', [[Pitman (publisher)|Pitman]] 1991. {{ISBN|0-273-03151-1}}
* [[International Organization for Standardization]], ''Information technology – Programming languages, their environments and system software interfaces – Vienna Development Method – Specification Language – Part 1: Base language'' International Standard ISO/IEC 13817-1, December 1996.
* [[Cliff Jones (computer scientist)|Jones, C.B.]], ''Software Development: A Rigorous Approach'', Prentice Hall International, 1980. {{ISBN|0-13-821884-6}}
* [[Cliff Jones (computer scientist)|Jones, C.B.]] and Shaw, R.C. (eds.), ''Case Studies in Systematic Software Development'', Prentice Hall International, 1990. {{ISBN|0-13-880733-7}}
* Bicarregui, J.C., [[John Fitzgerald (computer scientist)|Fitzgerald, J.S.]], Lindsay, P.A., Moore, R. and Ritchie, B., ''Proof in VDM: a Practitioner's Guide''. [[Springer Verlag]] Formal Approaches to Computing and Information Technology (FACIT), 1994. {{ISBN|3-540-19813-X}} .