Un langage et un programme pour énoncer et résoudre des problèmes combinatoires - Laurière, Jean Louis (Université Pierre et Marie Curie, 1976)