Shay Artzi Adam Kiezun Jaime Quinonez Michael D. Ernst Parameter reference immutability: formal definition, inference tool, and comparison. 145-192 2009 16 Autom. Softw. Eng. 1 http://dx.doi.org/10.1007/s10515-008-0043-7 db/journals/ase/ase16.html#ArtziKQE09