Detecting unwanted synchronization in Java programs. - George Leeman; Aaron Kershenbaum; Larry Koved; Darrell Reimer (IASTED Conf. on Software Engineering and Applications, 2004)