Brad Alexander Andrew L. Wendelborn Data Movement Optimisation in Point-Free Form. 21-35 2006 conf/amast/2006 AMAST http://dx.doi.org/10.1007/11784180_5 db/conf/amast/amast2006.html#AlexanderW06