The Logic of Automata, parts I and II, plus more, in, Journal of the Association for Computing Machinery, 4 individual issues, complete year 1957.
JACM 1957, January, April, July, October, 558 pages, includes the Digital Computer Newsletter printed at rear of issues.