Concise Guide To Computation Theory door Akira Maruoka