TY - BOOK AU - Hopkin D AU - Moss B TI - Automata U1 - 005.131 PY - 1976/// CY - London PB - Macmillan KW - Automata theory KW - Computer science ER -