INTRODUCTION TO AUTOMATA THEORY, LANGUAGES AND COMPUTATION - Hopcroft, John E.; Ullman, Jeffrey D. (Reading Massachusetts Addison-Wesley Pub., 1979)