Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn L. Talcott User Interfaces and Metalanguage Applications. 523-555 2007 conf/maude/2007 All About Maude http://dx.doi.org/10.1007/978-3-540-71999-1_17 db/conf/maude/maude2007.html#ClavelDELMMT07m