Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 2001 : proceedings / - Sgall, Jiří,; Pultr, Aleš.; Kolman, Peter, (Springer-Verlag,, 2001)