Author: International Andrei Ershov Memorial Conference (2nd 1996 Akademgorodok, Novosibirsk, Russia)