Reflection in rewriting logic and its applications in the Maude language (1997)

by Manuel Clavel, Jose Meseguer
Venue:In IMSA'97, pages 128--139. Information-Technology Promotion Agency