Concise Guide to Computation Theory - Akira Maruoka (Springer)