1. The Logic of Automata—Part I
2. Theory of Logical Nets
3. Edmund C. Berkeley. The algebra of states and events. The scientific monthly, vol. 78 (1954), pp. 232–242.
4. 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, 3–50.
5. The algebra of logic (translated). London and Chicago, 1914.