Formal semantics of weak references (2006)

by K Donnelly, J J Hallett, A Kfoury
Venue:In Proceedings of the 5th International Symposium on Memory Management. ACM