Object and reference immutability using Java generics (2007)

by Y Zibin, A Potanin, M Ali, S Artzi, A Kiezun, M D Ernst
Venue:In ESEC/SIGSOFT FSE