Danvy, Olivier. An Analytical Approach to Programs As Data Objects. Aarhus Universitet, 2017, https://doi.org/10.7146/aul.214.152.