Abstract Models of Memory Management (1995)

by Greg Morrisett, Matthias Felleisen, Robert Harper