Théorie des algorithmes, des langages et de la programmation — Séminaire Théorie des algorithmes, des langages et de la programmation (1972 / 1973 ; Rocquencourt, Yvelines)