Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TRSPY_1973_133_a5, author = {J. Barzdi\c{n}\v{s}}, title = {The frequency solution of the problem of occurrence in a~recursively enumerable set}, journal = {Informatics and Automation}, pages = {52--58}, publisher = {mathdoc}, volume = {133}, year = {1973}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/TRSPY_1973_133_a5/} }
J. Barzdiņš. The frequency solution of the problem of occurrence in a~recursively enumerable set. Informatics and Automation, Mathematical logic, theory of algorithms and theory of sets, Tome 133 (1973), pp. 52-58. http://geodesic.mathdoc.fr/item/TRSPY_1973_133_a5/