Book Introduction To The Theory Of Finite State Machines 1962