@article{DAN_1975_222_5_a3, author = {M. I. Kanovitch}, title = {Dekker's construction and effective nonrecursiveness}, journal = {Doklady Akademii Nauk}, pages = {1028--1030}, year = {1975}, volume = {222}, number = {5}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1975_222_5_a3/} }