Igor Pechtchanski, Vivek Sarkar: Immutability specification and its applications. Java Grande 2002: 202-211