"The Correctness-by-Construction Approach to Programming" - читать интересную книгу автора (Derrick G. Kourie, Bruce W. Watson)