"Элементы анализа программ. Частичные функции на множестве состояний" - читать интересную книгу автора (Абрамов С.А.)