Error-free software : know-how and know-why of program correctness - Baber, Robert Laurence (Wiley series in software engineering practice, 1991)