[8] Benjamin C. Pierce. Advanced Topics in Types and Programming Languages. (2008)
Programming Languages, The Mit Press, Daniel P. Friedman, Matthias Felleisen, The Little, ...
[12] Paul R. Wilson. Uniprocessor garbage collection techniques. In Proc.