Радиотехника и связь. Диссертация Формализация методов разработки алгоритмического обеспечения систем коммутации : диссертация ... кандидата технических наук : 05.12.14, Санкт-Петербург, 1998