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