J E HOPCROFT INTRODUCTION TO AUTOMATA THEORY LANGUAGES AND COMPUTATION - PEARSON Dewey Class. No.: 5.131