Formal software development from VDM to Java - Charatan, Quentin. (Palgrave Macmillan, 2004)