Jacek Gibert Functional Programming with Combinators. 269-293 1987 4 J. Symb. Comput. 3 db/journals/jsc/jsc4.html#Gibert87