Formal methods and software engineering by Chris George | Menrva Books | MenrvaBooks