Clavel, M. <br/><br/>
Reflection in rewriting logic: Metalogical foundations and metaprogramming applications 

 - Stanford  CSLI Publications  2000 
 - xiv, 200p. 
<br/><br/><label>ISBN: </label>1-57586-237-9