The Logical Basis for Computer Programming : Volume II. Deductive Systems - Manna, Zohar; Waldinger, Richard (Addison-Wesley Publishing Company, 1990)