Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich: Practical API Protocol Checking with Access Permissions. ECOOP 2009: 195-219