Michel Mauny Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages. 360-370 1989 FPCA http://doi.acm.org/10.1145/99370.99405 db/conf/fpca/fpca89.html#Mauny89