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, 2005)