Институт системного программирования Российской академии наук, Москва (Российская Федерация), e-mail: ivan@ispras.ru.