Local reasoning about a copying garbage collector (2004)

by L Birkedal, N Torp-Smith, J Reynolds
Venue:In ACM Symposium on Principles of Programming Languages