Mitchell Wand William D. Clinger Set constraints for destructive array update optimization. 319-346 2001 11 J. Funct. Program. 3 db/journals/jfp/jfp11.html#WandC01