Yingzhou Zhang Baowen Xu Liang Shi Bixin Li Hongji Yang Modular Monadic Program Slicing. 66-71 2004 conf/compsac/2004 COMPSAC http://csdl.computer.org/comp/proceedings/compsac/2004/2209/01/220910066abs.htm db/conf/compsac/compsac2004-R.html#ZhangXSLY04