Inductive Turing machines (1983)

by M S Burgin