Javari: Java Reference Immutability Language and Inference Tool
Javari: Adding Reference Immutability to Java
Javari: Adding Reference Immutability to Java Matthew Tschantz and Michael Ernst MIT CSAIL.