"Constructing Correct Software (Formal Approaches to Computing and Information Technology)" - читать интересную книгу автора (D. John Cooke)