Mark B. Josephs Functional Programming with Side-Effects. 279-296 1986 7 Sci. Comput. Program. 3 db/journals/scp/scp7.html#Josephs86