A trace model for pointers and objects | Publicación