T. C. Nicholas Graham Gerd Kock Domesticating Imperative Constructs So That They Can Live in a Functional World. 51-62 1991 PLILP db/conf/plilp/plilp91.html#GrahamK91 http://dx.doi.org/10.1007/3-540-54444-5_87