Luis Mateu A Java Dialect Free of Data Races and without Annotations. 52 2003 conf/ipps/2003 IPDPS http://csdl.computer.org/comp/proceedings/ipdps/2003/1926/00/19260052babs.htm db/conf/ipps/ipdps2003.html#Mateu03