Type-based race detection for java. (2000)

by C Flanagan, S Freund
Venue:In Conf. on Prog. Lang. Design and Impl.,