Error-free software know-how and know-why of program correctness /
Baber, Robert Laurence.
Chichester : Wiley,
c1991.