1. The logic of automata;Burks;Jour. Assoc. Comp. Mach.,1957
2. Theory of logical nets;Burks;Proc. IRE,1953
3. Review of a paper by Berkeley;Church;Jour. Symbolic Logic,1955
4. A. Church, Application of the recursive arithmetic to the problem of circuit synthesis, Summaries of talks at the Summer Institute of Symbolic Logic in 1957 at Cornell University, pp. 3–50.
5. L. Couturat, The Algebra of Logic (translated), London and Chicago, 1914.