Формализация методов разработки алгоритмического обеспечения систем коммутацииЦуприков, Андрей Леонидович199818 с.