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