Суржко Сергей Васильевич. Интерпретационные методы в теории алгоритмических алгебр : Дис... д-ра физ.- мат. наук: 01.05.01 / НАН Украины. — К., 1996. — 192л. + прил. — Бібліогр.: л. 179-192.