Ross Paterson Transforming Lazy Functions Using Comportment Properties. 111-125 1997 conf/plilp/1997 PLILP db/conf/plilp/plilp97.html#Patterson97 http://dx.doi.org/10.1007/BFb0033840