Sequential machines and automata theory - Booth, Taylor L. 1933- (Wiley, 1968)