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