A trace model for pointers and objects (1999)

by C A R Hoare, Jifeng He
Venue:In 13 th European Conference on Object-Oriented Programming