Mathematical foundations of computer science 2006 : 31th international symposium, MFCS 2006, StaraLesna, Slovakia, August 28- September 1, 2006 : proceedings - Kralovic, Rastislav; Urzyczyn, Pawel (Springer, 2006)