Formal software development from VDM to Java - Charatan, Quentin; Kans, Aaron (New York Palgrave Macmillan, 2004)
Keywords: Programming language; Electronic data processing. -- Software development