@Article{ CLAVEL_DURAN_DURÁN_EKER_LINCOLN_MESEGUER_QUESADA_QUESADA:187-243,

author = { M. CLAVEL and F. DURAN and FRANCISCO JAVIER DURÁN MUÑOZ and S. EKER and P. LINCOLN and J. MESEGUER and F. QUESADA and JOSE FRANCISCO QUESADA MORENO } ,

title = { MAUDE: SPECIFICATION AND PROGRAMMING IN REWRITING LOGIC },

journal = { THEORETICAL COMPUTER SCIENCE },

year = { 2002 },

volume = { 285 },

issn = { 0304-3975 },

pages = { 187-243 },

}