"Twenty Years Later."

Jean-Pierre Jouannaud (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics