Inductive turing machines (1983)

by M S Burgin
Venue:Sov. Math. Dok