Zhifang Wang Yiyun Chen Zhenming Wang Wei Wang Bo Tian An Extension to Pointer Logic for Verification. 49-56 2008 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2008.13 conf/tase/2008 db/conf/tase/tase2008.html#WangCWWT08