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