Juris Hartmanis H. Shank Two Memory Bounds for the Recognition of Primes by Automata. 125-129 1969 3 Mathematical Systems Theory 2 db/journals/mst/mst3.html#HartmanisS69 http://dx.doi.org/10.1007/BF01746518