Axelsson, Claessen, 2013. Using circular programs for higher-order syntax, in: . ACM Press.. https://doi.org/10.1145/2500365.2500614