Donald M. Kaplan Some Completeness Results in the Mathematical Theory of Computation. 124-134 1968 15 J. ACM 1 http://doi.acm.org/10.1145/321439.321447 db/journals/jacm/jacm15.html#Kaplan68