Advanced Slicing of Sequential and Concurrent Programs door Jens Krinke