Fundamentals of Computation Theory - Owe, Olaf; Kanade, Takeo; Steffen, Martin; Telle, Jan Arne (Springer Berlin Heidelberg, 2011)