Error-free software know-how and know-why of program correctness - Baber, Robert Laurence (Chichester, West Sussex, England John Wiley, 1991)
Keywords: Computer software -- Development; Computer software -- Reliability