Институт проблем информатики РАН, Москва (Российская Федерация), e-mail: root@ipiand.ipian.msk.su.