この資料をSMS送信: Reflection in rewriting logic : metalogical foundations and metaprogramming applications / Manuel Clavel.