deductive foundations of computer programming by Zohar Manna | Menrva Books | MenrvaBooks