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