Kevin Bierhoff Nels E. Beckman Jonathan Aldrich Practical API Protocol Checking with Access Permissions. 195-219 2009 ECOOP http://dx.doi.org/10.1007/978-3-642-03013-0_10 conf/ecoop/2009 db/conf/ecoop/ecoop2009.html#BierhoffBA09