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