Concise guide to computation theory - Maruoka, Akira. (Springer,)