Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT)) by John P. Cooke | Menrva Books | MenrvaBooks