Кривой Сергей Лукьянович. Итеративные методы анализа процедурных программ: Дис... д-ра физ.-мат. наук: 01.05.01 / НАН Украины. - К., 1997. - 266л.