George Leeman Aaron Kershenbaum Larry Koved Darrell Reimer Detecting unwanted synchronization in Java programs. 122-132 2004 conf/iastedSEA/2004 IASTED Conf. on Software Engineering and Applications db/conf/iastedSEA/iastedSEA2004.html#LeemanKKR04