@techreport{DSIC-II/02/09,
    author = {S. Santiago and  C. Talcott and  S. Escobar and  C. Meadows and  and J. Meseguer},
    title = {{A Graphical User Interface for Maude-NPA}},
    institution = {Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia},
    number = {DSIC-II/02/09},
    year = 2009,
    month = jun,
    type = {Informes Investigación}
}