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