Sigmund Cherem Radu Rugina A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. 172-186 2007 conf/cc/2007 CC http://dx.doi.org/10.1007/978-3-540-71229-9_12 db/conf/cc/cc2007.html#CheremR07