The Deductive foundations of computer programming - Manna, Zohar (Addison-Wesley)