Advanced Slicing of Sequential and Concurrent Programs by Jens Krinke