Нигиян С.А. Функциональные и логические языки программирования (формализация, анализ, интерпретация) : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.11 / С. А. Нигиян, 1997. - 34 с. - Текст : непосредственный.