Mathematical logic and programming languages by C. A. R. Hoare | Menrva Books | MenrvaBooks