S.N.: Type-based race detection for Java (2000)

by C Flanagan, Freund
Venue:SIGPLAN Not