Lauriere, J-L. Un langage et un programme pour énoncer et résoudre des problèmes combinatoires. Thèse de doctorat d'état présentée à l'Université Paris 6. 21-5-1976.

Languages mentioned

• Alice {1978}