The Deductive Foundations of Computer Programming : A One-Volume Version of "The Logical Basis for Computer Programming" - Manna, Zohar; Waldinger, Richard (Addison-Wesley Publishing Company, 1993)