2 works on record
Le voyage de Marrakech
Syntaxe, sémantique et axiomatique d'un langage de programmation simple