Danil E. Baburin E-mail babdan@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS