Atanas Rountev Precise Identification of Side-Effect-Free Methods in Java. 82-91 2004 conf/icsm/2004 ICSM http://csdl.computer.org/comp/proceedings/icsm/2004/2213/00/22130082abs.htm db/conf/icsm/icsm2004.html#Rountev04