A trace model for pointers and objects (1999)

by C A R Hoare, H Jifeng
Venue:In Proc. of ECOOP