Foundations of program verification [2nd ed.] - Loeckx, Jacques; Sieber, Kurt (Chichester, New York John Wiley, 1987)
Keywords: Computer Programs -- Verification