@Article{ Clavel-_Duran-_Durán-Muñoz_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 },

pages = { 187-243 },

}