Author: Symposium on Automatic Demonstration, Versailles 1968