X-machines and the halting problem: Building a super-Turing machine (1990)

by M Stannett
Venue:Formal Aspects of Computing