Object types against races (1999)

by Cormac Flanagan, Martin Abadi
Venue:In Conference on Concurrent Theory (CONCUR