Гаранина Н.О., Ануреев И.С., Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // № 14, 2019
