Selected references Arthur W. Burks and Hao Wang. The logic of automata -- part I. Journal of the ACM, 4(2):193-218, April 1957. Arthur W. Burks and Hao Wang. The logic of automata -- part II. Journal of the ACM, 4(3):279-297, July 1957.