Jean Louis Laurière

• Un langage et un programme pour énoncer et résoudre des problèmes combinatoires