摘要
博伊尔84。 James M.Boyle和Monagur N.Muralidharan。 通过程序转换实现程序重用。 《IEEE汇刊》，软件工程SE-10（5）：574-5881984年9月。 谷歌学者 
数字图书馆 
博伊尔86。 James M.Boyle，Kenneth W.Dritz，M。 N.Muralidharan和Robert J.Taylor。 通过程序转换从纯Lisp规范派生顺序和并行程序。 IFIP WGP.1计划规范和转换工作会议。 谷歌学者 数字图书馆 布鲁克斯82。 Brooks，R.A.、Gabriel，R.P.和Steele，G.J.Jr.针对词汇范围的LISP的优化编译器。 《SIGPLAN编译器构造研讨会论文集》，ACM，SIGPLAN通告17（6）~ 1982年6月。 谷歌学者 数字图书馆 菲利。 M.Feeley和G.Lapalme。 基于将LAMBDA视为EPSILON+COMPILE的闭包生成。 地址：加拿大魁北克省蒙特利尔市A站6128号蒙特萨尔大学（邮编：H3C3J7），D.partment D'informatique et de recherche op~ rationnelle（I.R.O.）。 谷歌学者 约翰逊87。 托马斯·约翰逊。 Lambda提升：将程序转换为递归方程。 编译懒惰函数语言。 查尔默斯理工大学博士论文，1987年 谷歌学者 凯尔西89。 理查德·凯尔西（Richard Kelsey）。 通过程序转换进行编译。 耶鲁大学博士论文，1989年。 谷歌学者 数字图书馆 克兰兹86。 Kranz D.A.、Kelsey，R.、Rees J.A.、Hudak P.、Philbin，J.和Adams，N.I.轨道：Scheme的优化编译器。 在SIGPLAN’86编译器构造研讨会的会议记录中，ACM，SIGPLAN通知21（7），1986年6月。 谷歌学者 数字图书馆 李87。 彼得·李。 从高级语义描述自动生成真实编译器。 密歇根大学博士，1987年。 谷歌学者 数字图书馆 保尔森82。 劳伦斯·保尔森。 语义定向编译器生成器。 第九届美国计算机学会编程语言原理研讨会Converene记录，美国计算机学会，1982年。 谷歌学者 数字图书馆 Plotkin第75页。 G.D.Plotkin。 Call-by-name、Call-by-value和A-calcuhs。 理论计算机科学1:125-1592975。 谷歌学者 交叉引用 
里斯84。 乔纳森·里斯（Jonathan A.Rees）、诺曼·亚当斯（Norman I.Adams）和詹姆斯·米恩（James R.Meehan）。 T手册，第四版。 耶鲁大学计算机科学系，1984年1月。 谷歌学者 斯坦迪什76。 T.A.Standish、D.C.harriman、D.F.Kibler和J.M.Neighbors。 加州大学欧文分校信息与计算机科学系欧文程序转换目录，1976年。 谷歌学者 斯蒂尔78。 Guy L.Steele Jr.Rabbit：Scheme的编译器。 麻省理工学院人工智能实验室技术报告4741978年5月。 谷歌学者 数字图书馆
