Информатика, вычислительная техника и управление. Диссертация Разработка и исследование инструментальных систем игрового обучения на основе анализа проблемно-ориентированных формальных программных машин : диссертация ... кандидата технических наук : 05.13.11, Рязань, 2002