Concise Guide to Computation Theory - Maruoka, Akira (Springer London : Imprint: Springer, 2011)