A unified theory of garbage collection (2004)
dl.acm.org