Types for safe locking (1999)

by Cormac Flanagan, Martin Abadi
Venue:In ESOP '99: Proceedings of the 8th European Symposium on Programming Languages and Systems