Title: Handbook of Finite State Techniques