Truth, deduction, and computation : logic and semantics for computer science - Davis, Ruth E. (New York : Computer Science Press, 1989)
Includes bibliographical references (p. 257-260) and index.
Keywords: Programming languages (Electronic computers) -- Semantics; Logic, Symbolic and mathematical; Electronic data processing