Логико-языковые средства автоматизации производственных процессовдиссертация