Modular monadic program slicing | IEEE Conference Publication | IEEE Xplore