Ulrich Neumerkel: Une transformation de programme basée sur la notion d'équations entre termes. JFPL 1993: 215-229