Институт программных систем РАН, Переславль-Залесский (Российская Федерация), e-mail: psi@botik.ru.