Programming logics an introduction to verification and semantics - Gumb, Raymond D. (New York John Wiley, 1989)
Keywords: Computer Programs -- Verification; Programming Languages (Electronic Computers) -- Semantics