Turing machines can compute uncomputable functions (1998)

by B J Copeland, Even
Venue:Unconventional Models of Computation