Информатика, вычислительная техника и управление. Диссертация Денотативно-объектная модель вычислений для встроенных систем : диссертация ... кандидата технических наук : 05.13.12, Санкт-Петербург, 2008