Cristina David, Wei-Ngan Chin: Immutable specifications for more concise and precise verification. OOPSLA 2011: 359-374