Object types against races, in (1999)

by C Flanagan, M Abadi
Venue:Mauw (Eds.), International Conference on Concurrency Theory, volume 1664 of LNCS