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