Milton W. Green, "A lower bound RADO's sigma function for binary turing machines," 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, pp. 91-94, 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design, 1964