Les petits cailloux une approach modèle-théorique de l'algorithmie - Poizat, Bruno (Aléas, 1995)