"Основы трансляции, статического анализа и верификации программ" - читать интересную книгу автора