David Wakeling Colin Runciman Linearity and Laziness. 215-240 1991 conf/fpca/1991 FPCA db/conf/fpca/fpca1991.html#WakelingR91