Slicing techniques for verification re-use
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.