Fundamentals of Computation Theory - Csuhaj-Varjú, Erzsébet; Kanade, Takeo; Ésik, Zoltán; Kittler, Josef (Springer Berlin Heidelberg, 2007)