The deductive foundations of computer programming a one-volume version of the logical basis for computer programming - Manna, Zohar (Addison-Wesley, 1993)