Daniel de Rauglaudre Michel Mauny Parsers in ML. 76-85 1992 LISP and Functional Programming http://doi.acm.org/10.1145/141471.141510 db/conf/lfp/lfp1992.html#RauglaudreM92