Yoav Zibin Alex Potanin Mahmood Ali Shay Artzi Adam Kiezun Michael D. Ernst Object and reference immutability using java generics. 75-84 2007 conf/sigsoft/2007 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1287624.1287637 db/conf/sigsoft/fse2007.html#ZibinPAAKE07