Финитный подход к задаче оптимизации алгоритмов установления выводимости А.О. Слисенко (1975) Zapiski naucnych seminarov Leningradskogo
Экономый способ возбедения в данную степень на ЭВМ некоторых полугрупповых объектов Н.З. Габбасов (1983) Verojatnostnye metody i kibernetika