Abstract analysis and optimization of Scheme - Andrew Edward Ayers (1993)