"A practical theory of programming" - читать интересную книгу автора (Eric C.R. Hehner)