A type system for preventing data races and in Java programs (2002)

by Chandrasekhar Boyapati, Robert Lee, Martin Rinard
Venue:In OOPSLA