Clavel, M.
Reflection in rewriting logic: Metalogical foundations and metaprogramming applications - Stanford CSLI Publications 2000 - xiv, 200p.
1-57586-237-9
Reflection in rewriting logic: Metalogical foundations and metaprogramming applications - Stanford CSLI Publications 2000 - xiv, 200p.
1-57586-237-9