@article {barraclough:strict, title = {A Trajectory-based Strict Semantics for Program Slicing}, journal = {Theoretical Computer Science}, volume = {411}, number = {11{\textendash}13}, year = {2010}, pages = {1372{\textendash}1386}, publisher = {elsevier}, author = {R. W. Barraclough and D. Binkley and S. Danicic and M. Harman and R. M. Hierons and {\'A}kos Kiss and M. Laurence and L. Ouarbya} }