Memory Management: An Abstract Formulation of Incremental Tracing. - Healfdene Goguen; Richard Brooksby; Rod M. Burstall (TYPES, 1999)