TY - BOOK AU - Tal, A.A. TI - Questionnarire language and abstract synthesis of minimal sequential machines U1 - 512.02 PY - 1964/// PB - NASA ER -