Yu, Xin (2007) Reflection and Its Application to Mechanized MetaReasoning About Programming Languages (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/S0HG-RT72