X-Machines and the Halting Problem: Building a Super-Turing Machine." Formal Aspects of Computing 2 (1990)

by M Stannett