TY - RPRT TI - Automata theory and development: I. AU - M A Arbib PY - 1967 DO - 10.1016/0022-5193(67)90110-5 UR - https://pubmed.ncbi.nlm.nih.gov/6040856/ ID - 6040856 ER -