J. Gregory Morrisett Matthias Felleisen Robert Harper Abstract Models of Memory Management. 66-77 1995 FPCA db/conf/fpca/fpca95.html#MorrisettFH95