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