Jiro Tanaka
-
Reflective specification: applying a reflective language to formal specification
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design