"A Practical Theory of Programming, 2nd Edition (Monographs in Computer Science)" - читать интересную книгу автора (Eric C.R. Hehner)