An Extensible Module Algebra For Maude

Manuel Clavel. Reflection in general logics and in rewriting logic with applications to the Maude language. Ph.D. Thesis, University of Navarre, 1998.

Manuel Clavel, Francisco DurSán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, and José Meseguer. Metalevel computation in Maude. This volume.

Clavel, 1998, An introduction to Maude (beta version), Manuscript, SRI International

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Marti-Oliet, José Meseguer, and José Quesada. Maude as a Metalanguage. This volume.

Manuel Clavel and José Meseguer. Reflection and strategies in rewriting logic. In José Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic, volume 4, pages 125--147. Elsevier, September 1996.

Manuel Clavel and José Meseguer. Internal strategies in a reflective logic. In B. Gramlich and H. Kirchner, editors, Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997), pages 1--12, 1997.

Goguen, 1998, Introducing OBJ. Technical report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992. To appear

José Meseguer, 1993, A logical theory of concurrent objects and its realization in the Maude language, 314

José Meseguer and Manuel Clavel. Axiomatizing reflective logics and languages. In G. Kiczales, editor, Proceedings of Reflection '96, pages 263--288, 1996.

Winkler, 1991, A short note on the OBJ3 module expression routines