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