Finite-State Language Processing - Roche (IEEE, 2003)