Gonthier, Georges, and Assia Mahboubi. “An Introduction to Small Scale Reflection in Coq”. Journal of Formalized Reasoning 3, no. 2 (January 1, 2010): 95–152. Accessed April 19, 2024. https://jfr.unibo.it/article/view/1979.