Erika Ábrahám Andreas Grüner Martin Steffen Heap-abstraction for an object-oriented calculus with thread classes. 177-208 2008 7 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-007-0065-9 db/journals/sosym/sosym7.html#AbrahamGS08