Gopinathan, Madhu and Rajamani, Sriram K (2008) Enforcing Object Protocols by Combining Static and Runtime Analysis. In: ACM Singplan Notice, 43 (10). pp. 245-260.
