Reflective Specification: Applying A Reflective Language to Formal Specification. - Motoshi Saeki; Takeshi Hiroi; Takanori Ugai (IWSSD, 1993)