Yifeng Chen Jeff W. Sanders Compositional Reasoning for Pointer Structures. 115-139 2006 conf/mpc/2006 MPC http://dx.doi.org/10.1007/11783596_10 db/conf/mpc/mpc2006.html#ChenS06