O. Danvy, An Analytical Approach to Programs as Data Objects. Aarhus, DK: Aarhus Universitet, 2017. doi: 10.7146/aul.214.152.