Richard W. Barraclough David Binkley Sebastian Danicic Mark Harman Robert M. Hierons Ákos Kiss 0001 Mike Laurence Lahcen Ouarbya A trajectory-based strict semantics for program slicing. 1372-1386 2010 411 Theor. Comput. Sci. 11-13 http://dx.doi.org/10.1016/j.tcs.2009.10.025 db/journals/tcs/tcs411.html#BarracloughBDHHKLO10