Kevin Bierhoff Jonathan Aldrich Modular typestate checking of aliased objects. 301-320 2007 conf/oopsla/2007 OOPSLA http://doi.acm.org/10.1145/1297027.1297050 db/conf/oopsla/oopsla2007.html#BierhoffA07