Lin Li Clark Verbrugge A Practical MHP Information Analysis for Concurrent Java Programs. 194-208 2004 conf/lcpc/2004 LCPC http://dx.doi.org/10.1007/11532378_15 db/conf/lcpc/lcpc2004.html#LiV04