Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings - Jȩdrzejowicz, Joanna; Szepietowski, Andrzej (Springer Berlin Heidelberg, 2005)