Spécification algébrique, algorithmique et programmation - Jean-François Dufourd, Dominique Bechmann et Yves Bertrand