Associating synchronization constraints with data in an objectoriented language. (2006)

by Mandana Vaziri, Frank Tip, Julian Dolby
Venue:In The 33rd Annual ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’06),