An Analysis of a Logical Machine Using Parenthesis-Free Notation
Arthur W. Burks, Don W. Warren, Jesse B. Wright · Mathematical Tables and Other Aids to Computation · 1954
Arthur W. Burks, Don W. Warren, Jesse B. Wright, An Analysis of a Logical Machine Using Parenthesis-Free Notation, Mathematical Tables and Other Aids to Computation, Vol. 8, No. 46 (Apr., 1954), pp. 53-57