Fundamentals of Computation Theory - Kosowski; Walukiewicz, Igor (Springer International Publishing, 2015)