Motoshi Saeki, Takeshi Hiroi, Takanori Ugai. Reflective Specification: Applying A Reflective Language to Formal Specification. In Jack C. Wileden, editor, Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993. pages 204-213, IEEE Computer Society, 1993.
@inproceedings{SaekiHU93,
title = {Reflective Specification: Applying A Reflective Language to Formal Specification},
author = {Motoshi Saeki and Takeshi Hiroi and Takanori Ugai},
year = {1993},
researchr = {https://researchr.org/publication/SaekiHU93},
cites = {0},
citedby = {0},
pages = {204-213},
booktitle = {Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993},
editor = {Jack C. Wileden},
publisher = {IEEE Computer Society},
}