The logical basis for computer programming - Manna, Zohar; Waldinger, Richard (Addison-Wesley Publishing Company, 1985)