Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami: Predicate-Based Dynamic Slicing of Message Passing Programs. SCAM 2002: 133-