A trajectory-based strict semantics for program slicing. - Richard W. Barraclough; David W. Binkley; Sebastian Danicic; Mark Harman; Robert M. Hierons; Ákos Kiss 001; Mike Laurence; Lahcen Ouarbya (Theor. Comput. Sci., 2010)