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