Formal Methods for Reflective System Specification.

Jan de Meer Erika Ábrahám-Mumm Formal Methods for Reflective System Specification. 51-57 2000 conf/fbt/2000 FBT db/conf/fbt/fbt2000.html#MeerA00