Formal methods and software engineering by Jim Davies | Menrva Books | MenrvaBooks