@article{MMO_1978_37_a7,
     author = {V. I. Amstislavskiǐ},
     title = {A sharpened theorem on substitution for computable functionals and some of its consequences},
     journal = {Trudy Moskovskogo matemati\v{c}eskogo ob\^{s}estva},
     pages = {255--269},
     publisher = {mathdoc},
     volume = {37},
     year = {1978},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MMO_1978_37_a7/}
}