@article{MSH_1971__34__71_0,
     author = {Pair, C.},
     title = {La formalisation des langages de programmation},
     journal = {Math\'ematiques et sciences humaines},
     pages = {71--86},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {34},
     year = {1971},
     zbl = {0229.68025},
     language = {fr},
     url = {http://archive.numdam.org/item/MSH_1971__34__71_0/}
}