"Error Free Software: Know-how and Know-why of Program Correctness" - читать интересную книгу автора (Robert Laurence Baber)