Скобелєв Володимир Геннадійович. Аналіз автоматно-алгебраїчних моделей : Дис... д-ра наук: 01.05.01 - 2011.