TY  - BOOK
AU  - Booth T L
TI  - Sequential machines and automata theory
U1  - 511.3 
PY  - 1967///
CY  - London
PB  - John Wiley
KW  - Automata theory
KW  - Mathematical logic
ER  -