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