Proceedings of the Institute for System Programming, vol. 27, issue 6, 2015, pp. 67-86.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
DOI: 10.15514/ISPRAS-2015-27(6)-5Full text of the paper in pdf (in Russian) Back to the contents of the volume