Simulation of arithmetic and Boolean functions on Turing machines - Chelikowsky, Richard Dale. (1962)