The deductive foundations of computer programming a one-volume version of the logical basis for computer programming - Manna, Zohar; Waldinger, Richard (Reading, Mass. Addison-Wesley, 1993)
Keywords: Electronic digital computers -- Programming; Logic, Symbolic and mathematical