John Hatcliff James C. Corbett Matthew B. Dwyer Stefan Sokolowski Hongjun Zheng A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. 1-18 1999 conf/sas/1999 SAS http://link.springer.de/link/service/series/0558/bibs/1694/16940001.htm db/conf/sas/sas99.html#HatcliffCDSZ99