O. Danvy, “A New One-Pass Transformation into Monadic Normal Form”, BRICS, bd. 9, nr. 52, dec. 2002.