Mathematical Foundations of Computer Science 2006 - Kanade, Takeo; Královic, Rastislav; Urzyczyn, Pawel (Springer Berlin Heidelberg, 2006)