Mike Stannett X-Machines and the Halting Problem: Building a Super-Turing Machine. 331-341 1990 2 Formal Asp. Comput. 4 db/journals/fac/fac2.html#Stannett90