Zhengqiang Chen Baowen Xu Slicing Concurrent Java Programs. 41-47 2001 36 SIGPLAN Notices 4 db/journals/sigplan/sigplan36.html#ChenB01a