Yingzhou Zhang José Emilio Labra Gayo Agustín Cernuda del Río A monadic program slicer. 30-38 2006 41 SIGPLAN Notices 5 http://doi.acm.org/10.1145/1149982.1149986 db/journals/sigplan/sigplan41.html#ZhangGR06