An introduction to formal program verification - Mili, Ali. (New York Van Nostrand Reinhold, 1985)
Keywords: Computer programs -- Verification