Types for safe locking (1999)

by C Flanagan, M Abadi
Venue:In Programming Language and Systems: Proceedings of the European Symposium on Programming, volume 1576 of LNCS