Rastislav Královic Damian Niwinski Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings 5734 2009 http://dx.doi.org/10.1007/978-3-642-03816-7 978-3-642-03815-0 MFCS Lecture Notes in Computer Science Springer db/conf/mfcs/mfcs2009.html