Leonard M. Adleman Michael C. Loui Space-Bounded Simulation of Multitape Turing Machines. 215-222 1981 14 Mathematical Systems Theory db/journals/mst/mst14.html#AdlemanL81