A Slice Monad Transformer and Its Applications in Program Slicing.

Yingzhou Zhang Baowen Xu A Slice Monad Transformer and Its Applications in Program Slicing. 147-154 2005 conf/iceccs/2005 ICECCS http://dx.doi.org/10.1109/ICECCS.2005.13 db/conf/iceccs/iceccs2005.html#ZhangX05