Concise Guide To Computation Theory by Akira Maruoka