Математика. Диссертация Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа : диссертация ... кандидата физико-математических наук : 01.01.09, Москва, 2011