A trace model for pointers and objects (1998)

by C A R Hoare, He Jifeng
Venue:Lecture Notes of International Summer School at Marktoberdoff