Pieter W. M. Koopman Rinus Plasmeijer Systematic synthesis of functions. 35-54 2006 conf/sfp/2006 Trends in Functional Programming db/conf/sfp/tfp2006.html#KoopmanP06