Статья Метод построения графа функциональной программы для решения задач верификации и тестирования Лаздин А. В., Немолочнов О. Ф.