The Implementer's Dilemma: A Mathematical Model of Compile Time Garbage Collection. - Simon B. Jones; Andrew S. Tyas (Functional Programming, 1993)