Abstract models of memory management (1995)

by Greg Morrisett, Matthias Felleisen, Robert Harper
Venue:In ACM Conference on Functional Programming and Computer Architecture