Error-free software : know-how and know-why of program correctnes - Baber, Robert Laurence (Chichester : John Wiley & Sons, 1991)
Keywords: Computer software -- Reliability; Computer software -- Development