G. Gonthier and A. Mahboubi, “An introduction to small scale reflection in Coq”, JFR, vol. 3, no. 2, pp. 95–152, Jan. 2010.