A Variant to Turing’s Theory of Computing Machines (1957)

by Hao Wang
Venue:J. ACM