Matthew Q. Beers, Christian H. Stork, Michael Franz: Efficiently Verifiable Escape Analysis. ECOOP 2004: 75-95