Modular Monadic Slicing in the Presence of Pointers. - Wu, Zhongqiang; Zhang, Yingzhou; Xu, Baowen (2006)