Title: Toward a formal characterization of garbage collection
First published: 2004