Finite-State Techniques - Mihov/Schulz (Cambridge University Press, 2019)