The Logic of Automata---Part I

Arthur W. Burks, Hao Wang
1957 Journal of the ACM  
doi:10.1145/320868.320880 fatcat:ixqkwuchgfahpkwqjguvguvjly