INTRODUCTION TO THE THEORY OF FINITE AUTOMATA - Kobrinskii, N.E.; Trakhtanbrot, B.A. (North-Holland, 1965)