For citations:

Morozov S.V., Ilyin D.V., Semenov V.A., Tarlapan O.A. A constraint library for specification of industrial data models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(4):69-110. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(4)-5