Математика. Диссертация Решение проблемы отделимости алгоритмически разрешимых случаев А-полноты для базисов поста дефинитных автоматов : диссертация ... кандидата физико-математических наук : 01.01.09, Москва, 2009