For citations:

Semenov V.A., Ilyin D.V., Morozov S.V., Sidyaka O.V. Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;19. (In Russ.)