INTTRODUCTION TO AUTOMETA THERORY LANGUAGES & COMPUTATION - JOHN.E, HOPCROFT, and MOTWANI, RAJEEV (2006)