Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1986_286_1_a14, author = {V. B. Betelin}, title = {On the problem of automatization of programming}, journal = {Doklady Akademii Nauk}, pages = {66--69}, publisher = {mathdoc}, volume = {286}, number = {1}, year = {1986}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1986_286_1_a14/} }
V. B. Betelin. On the problem of automatization of programming. Doklady Akademii Nauk, Tome 286 (1986) no. 1, pp. 66-69. http://geodesic.mathdoc.fr/item/DAN_1986_286_1_a14/