Mathematical Foundations of Computer Science 2010 - Hutchison, David; Kanade, Takeo; Kittler, Josef; Kucera, Antonin (Springer Berlin Heidelberg, 2010)