Igor Pechtchanski Vivek Sarkar Immutability specification and its applications. 202-211 2002 conf/java/2002 Java Grande https://doi.org/10.1145/583810.583833 db/conf/java/java2002.html#PechtchanskiS02