Sigmund Cherem, Radu Rugina: A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. CC 2007: 172-186