Gonthier, G.; Mahboubi, A. An Introduction to Small Scale Reflection in Coq. JFR 2010, 3, 95-152.