Autostability and computable families of constructivizations, Algebra and Logic 14 (1975)

by S S Goncharov