INTRODUCTION TO FORMULA LANGUAGES AND AUTOMATA - LINZ PETER (NAROSA NEW DELHI, 2011)