Analysis of an algorithm for real-time garbage collection (1976)

by P L Wadler
Venue:Comm. ACM