Proceedings of the Institute for System Programming, vol. 26, issue 1, 2014, pp. 297-314.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
DOI: 10.15514/ISPRAS-2014-26(1)-10Full text of the paper in pdf Back to the contents of the volume