Adrian Birka Michael D. Ernst A practical type system and language for reference immutability. 35-49 2004 conf/oopsla/2004p OOPSLA http://doi.acm.org/10.1145/1028976.1028980 db/conf/oopsla/oopsla2004p.html#BirkaE04