Воронов, М. Метод формализации описания технологических процессов. ИК 2024, 50-55.