David K. Gifford John M. Lucassen Integrating Functional and Imperative Programming. 28-38 1986 LISP and Functional Programming db/conf/lfp/lfp1986.html#GiffordL86