Mathematical foundations of computer science 2004 20th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 ; proceedings (Springer, 2004)