@phdthesis{thesisfd,
    AUTHOR = {Francisco Dur\`{a}n},
    TITLE = {{A} Reflective Module Algebra with Applications to the Maude Language},
    URL = {http://www.csl.sri.com/papers/thesisfd/}
}