Introduction to Theory of Computation : An Algorithmic Approach - Ogihara, Mitsunori. (Springer, 2025)