Danvy, Olivier, og Morten Rhiger. “A Simple Take on Typed Abstract Syntax in Haskell-Like Languages”. BRICS Report Series, bd. 7, nr. 34, juni 2000, doi:10.7146/brics.v7i34.20169.