The Logic of Automata—Part II

• 1 July 1957
• journal article
• Published by Association for Computing Machinery (ACM) in Journal of the ACM
• Vol. 4  (3) , 279-297
• https://doi.org/10.1145/320881.320885

Abstract