John Field Deepak Goyal G. Ramalingam Eran Yahav Typestate Verification: Abstraction Techniques and Complexity Results. 439-462 2003 conf/sas/2003 SAS http://link.springer.de/link/service/series/0558/bibs/2694/26940439.htm db/conf/sas/sas2003.html#FieldGRY03