Kolmogorov Algorithms are Stronger than Turing (1976)

by D Y Grigoriev
Venue:Machines”, Investigations on Constructive Mathematics and Mathematical Logic. VIII, Notes of the Leningrad Branch of Steklov Math. Institute 60