Simon L. Peyton Jones Philip Wadler Imperative Functional Programming. 71-84 1993 POPL db/conf/popl/popl93.html#JonesW93