Guangquan Zhang Rong Mei An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property. 650-653 2008 CSSE (2) http://dx.doi.org/10.1109/CSSE.2008.1283 conf/csse/2008-2 db/conf/csse/csse2008-2.html#ZhangM08