Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
IBM Laboratory Vienna
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/IBM_Research/4DaaL58U">IBM Research</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Jones, Cliff B. (1990). Systematic software development using VDM. Prentice-Hall. p. 1. <a href="/wiki/Cliff_Jones_(computer_scientist)" target="_blank">/wiki/Cliff_Jones_(computer_scientist)</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Jones, Cliff B.; Lucas, Peter (1971). Engeler, E. (ed.). "Proving correctness of implementation techniques". A Symposium on Algorithmic Languages. Lecture Notes in Mathematics. Vol. 188. Springer-Verlag. pp. 178–211. <a href="/wiki/Peter_Lucas_(computer_scientist)" target="_blank">/wiki/Peter_Lucas_(computer_scientist)</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Jones, Cliff B. (1990). Systematic software development using VDM. Prentice-Hall. p. 1. <a href="/wiki/Cliff_Jones_(computer_scientist)" target="_blank">/wiki/Cliff_Jones_(computer_scientist)</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> </ol>