Опарин, В. В.; Тулупьев, А. Л. Синтез графа смежности с минимальным числом ребер: формализация алгоритма и анализ его корректности. ТС 2009, 142-157.