The logical basis for computer programming. Volume 2., Deductive systems. - Manna, Zohar; Waldinger, Richard (Addison-Wesley Publishing Co., 1990)