@article{gm03hosc,
   author = {R. Giacobazzi and I. Mastroeni},
   title = {Non-standard semantics for program slicing},
   journal = { Higher-Order and Symbolic Computation (HOSC)},
   year = {2003},
   volume = {16},
   number = {4},
   pages = {297-339},
   note = {Special issue on Partial Evalution and Semantics-Based Program Manipulation}
}