Formal Methods for Reflective System Specification

Jan de Meer, Erika Ábrahám-Mumm. Formal Methods for Reflective System Specification. In Jens Grabowski, Stefan Heymer, editors, Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. pages 51-57, Verlag Shaker, 2000.