"The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF ..."

Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics