Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings (Springer, 2001)