Formal software development : - Charatan, Quentin (Palgrave Macmillan, 2004)