@inproceedings{ISMM-2006-DonnellyHK,
	author        = "Kevin Donnelly and J. J. Hallett and Assaf J. Kfoury",
	booktitle     = "{Proceedings of the Fifth International Symposium on Memory Management}",
	doi           = "10.1145/1133956.1133974",
	isbn          = "1-59593-221-6",
	pages         = "126--137",
	publisher     = "{ACM}",
	title         = "{Formal semantics of weak references}",
	year          = 2006,
}