The garbage collection handbook : the art of automatic memory management - Jones, Richard, 1954- (Applied algorithms and data structures series, 2012)