Cormac Flanagan K. Rustan M. Leino Mark Lillibridge Greg Nelson James B. Saxe Raymie Stata Extended Static Checking for Java. 234-245 2002 PLDI http://doi.acm.org/10.1145/512529.512558 db/conf/pldi/pldi2002.html#FlanaganLLNSS02