John Launchbury Andy Gill John Hughes Simon Marlow Simon L. Peyton Jones Philip Wadler Avoiding Unnecessary Updates. 144-153 1992 conf/fp/1992 Functional Programming db/conf/fp/fp1992.html#LaunchburyGHMJW92