@Article{ CLAVEL_DURAN_EKER_LINCOLN_MESEGUER_QUESADA:237-249,

author = { M. CLAVEL and F. DURAN and S. EKER and P. LINCOLN and J. MESEGUER and JOSE FRANCISCO QUESADA MORENO } ,

title = { MAUDE AS A METALANGUAGE },

journal = { ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE },

year = { 1998 },

issn = { 1571-0661 },

pages = { 237-249 },

}