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