Danvy, O. (2002). A New One-Pass Transformation into Monadic Normal Form. BRICS Report Series, 9(52). https://doi.org/10.7146/brics.v9i52.21767