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)
Condensed and simplified version of the original work
Bibliography: p. 673-677
Keywords: Electronic digital computer -- Programming; Logic, Symbolic and mathematical