Joanna Jedrzejowicz Andrzej Szepietowski Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings 3618 2005 3-540-28702-7 MFCS Lecture Notes in Computer Science Springer db/conf/mfcs/mfcs2005.html