The Realization of Consistent Input-Output Sequences by Finite State Machines - Kenneth Donald Heun; K. Vairavan (Inf. Control., 1976)