Internal Turing Machines - Ken Loo (CoRR, 2004)