A Reflective Module Algebra with Applications to the Maude Language (1999)

by Francisco Dur'an