Author: International Andrei Ershov Memorial Conference (4th 2001 Akademgorodok, Novosibirsk, Russia)