Формализованные средства системного анализа писания и проектирования АСУ интегрированным производствомЛевикин, Виктор Макарович199538 с.