Ashis Tarafdar. Guava: A dialect of Java without data races (2000)

by David F Bacon, Robert E Strom
Venue:In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA