\bib{2002/diks} \yr 2002 \editor Krzysztof Diks \editor Wojciech Ritter \book Mathematical foundations of computer science 2002: 27th international symposium, MFCS 2002, Warsaw, Poland, 26--30.08.2002: proceedings \series Lecture Notes in Computer Science \seriesvol 2420 \publ Springer-Verlag \publaddr Berlin \endref