Olivier Danvy A New One-Pass Transformation into Monadic Normal Form. 77-89 2003 conf/cc/2003 CC http://link.springer.de/link/service/series/0558/bibs/2622/26220077.htm db/conf/cc/cc2003.html#Danvy03