Zhongqiang Wu Yingzhou Zhang Baowen Xu Modular Monadic Slicing in the Presence of Pointers. 748-756 2006 conf/iccS/2006-4 International Conference on Computational Science (4) http://dx.doi.org/10.1007/11758549_101 db/conf/iccS/iccS2006-4.html#WuZX06