Transformation for class immutability. - Fredrik Kjolstad; Danny Dig; Gabriel Acevedo; Marc Snir (ICSE, 2011)