Mathematical Foundations of Computer Science 2007 - Hutchison, David; Kanade, Takeo; Kittler, Josef; Kucera, Antonín (Springer Berlin Heidelberg, 2007)