FORMAL LANGUAGES AND AUTOMATA - PETER LINZ (NAROSA, 2006)