Garanina N., Anureev I., Zyubin V. Constructing Verification-Oriented Domain-Specific Process Ontologies // # 14, 2019
