Types for atomicity (2003)

by C Flanagan, S Qadeer
Venue:In TLDI’03