Computer Studies of Turing Machine Problems (1965)

by S Lin, T Rado
Venue:Journal of the Association for Computing Machinery