Patrick Bellot High Order Programming in Extended FP. 65-80 1985 FPCA db/conf/fpca/fpca85.html#Bellot85