Solvability of the halting problem for certain classes of Turing machines (1973)

by Liudmila Pavlotskaya
Venue:Mathematical Notes (Springer