A Trace Model for Pointers and Objects | Publicación