Symposium on Automatic Demonstration Held at Versailles/France, December 1968 - Laudet, Michel; Lacombe, D.; Nolin, L.; Schützenberger, Marcel P. 1920-1996 (Springer-Verlag, 1970)