Erika Ábrahám Andreas Grüner Martin Steffen Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. 1-10 2006 conf/cie/2006 CiE http://dx.doi.org/10.1007/11780342_1 db/conf/cie/cie2006.html#AbrahamGS06