Introduction to automata - Nelson, Raymond J. (Wiley, 1968)