摘要
1 BERGSTRA J.A.J.HEERING，P.KLINT“ASF-代数规范形式主义”，报告CS-R8705，数学和计算机科学中心。 阿姆斯特丹，1987年。 谷歌学者 
2 BERRY G.，P.COURONN~，G.GONTHIER，“反应系统的同步编程：ESTEREL简介”，《第一届法国-日本人工智能与计算机科学研讨会论文集》，东京，1986年10月，北卡罗来纳。 谷歌学者 数字图书馆 
三。 CHAILLOUX J.、M.DEVIN、J-M.HULLOT，“Le-Lisp，一种便携式高效的Lisp系统”，《Lisp与函数编程ACM研讨会论文集》，德克萨斯州奥斯汀，1984年。 谷歌学者 数字图书馆 4 克莱门特·D·，因瑟皮·J·。， “图形对象：几何、图形和行为”，第三次年度报告，Esprit项目3481987年。 谷歌学者 5 CLEMENT D.，INCERPI J.，“使用Esterel指定图形对象的行为”，INRIA Rapport de Recherche 8361988年4月。 谷歌学者 6 DESPEYROUX T.，“静态语义的可执行规范”，载于《数据类型的语义》，《计算机科学讲义》，第173卷，施普林格-弗拉格出版社，1984年6月。 谷歌学者 7 DEVIN M.ET AL.，“Aida：应用开发环境”，ILOG，巴黎，1987年。 谷歌学者 8 DONZEAU-GOUGE V.、G.KAHN、G.HUET、B.LANG、J-J.LEVY，“基于结构化编辑器的编程环境：MENTOR体验”，摘自《交互式编程环境》，D.R.Barstow、H.E.Shrobe和E.Sandewall（编辑），McGraw-Hill，1984年。 谷歌学者 9 DONZEAU-GOUGE V.、G.KAHN、B.LANG、B.M~L~sE、E.MORCOS，“文件处理工具概述”，《1983年国际知识产权联合会会议记录》，巴黎，北荷兰。 谷歌学者 10 GETTYS J.，R.NEWMAN，R.S.SCHEIFLER，“Xlib-C语言X接口，协议版本11”）麻省理工学院项目雅典娜，1987年2月。 谷歌学者 11 HASCOET L.，“规范语义的自动化转换。应用：增量类型的不验证”，尼斯大学，1987年3月。 谷歌学者 12 HASCOET L.，“利用推断规则进行部分评估”，INRIA Rapport de Recherche 8171988年4月。 出现在新一代计算中。 谷歌学者 数字图书馆 13 HEERING J.、P.R.H.HENDRIKS、P.KLINT、J.REKERS，《SDF参考手册》，阿姆斯特丹数学与计算机科学中心，1987年。 谷歌学者 14 HEERING J.，P.KLINT，J.REKERS，“词汇扫描仪的增量生成”，数学和计算机科学中心，阿姆斯特丹，1987年。 谷歌学者 15 HEERING J.、P.KLINT、J.REKERS，“解析器的增量生成”，数学和计算机科学中心，阿姆斯特丹，1987年。 谷歌学者 16 JOHNSON S.C.“Yacc:Yet Anot.her编译器”，Unix程序员手册，第7版，贝尔电话实验室，1979年1月。 谷歌学者 17 KAHN G.，“自然语义”，《1987年STACS会议录》，《计算机科学讲义》，第247卷，斯普林格·弗拉格出版社，1987年3月。 谷歌学者 数字图书馆 18 KAHN G.，B.LANG，B.M~L~sE，“金属：指定形式的形式主义”，《计算机程序设计科学》，第3卷，第151-188页，北荷兰，1983年。 谷歌学者 交叉引用 
19 LANG B.《交互式编程环境的生成》中的“虚拟树处理器”，中级报告，J.Heering、J.Sidi、A.Verhoog（编辑）。 CWI报告CS-R8620，阿姆斯特丹，1986年5月。 谷歌学者 20 MILNER R.“标准ML提案”，1984年8月于德克萨斯州奥斯汀举行的ACM Lisp和函数编程研讨会论文集。 谷歌学者 数字图书馆 21 NAISH L.，“MU-Prolog 3.2参考手册”，技术报告85/11，墨尔本大学计算机科学系，1985年10月。 谷歌学者 22 MORCOS-CHOUNET E.，A.CONCHON，“PPML，规定精美印刷的一般形式”，1986年国际印刷联合会会议记录，北荷兰都柏林。 谷歌学者 23 PEREIRA F.、D.WARREN、D.BOWEN、L.BYRD、L.PEREIRA，“C-Prolog用户手册，1.5版”，SRI International，Menlo Park，1985年6月 谷歌学者 24 REPS T.，“生成基于语言的环境”，博士论文，技术报告82-514，康奈尔大学，纽约州伊萨卡，1982年8月。 谷歌学者 数字图书馆 25 TEITELBAUM T.，T.REPS，“康奈尔程序合成器：语法导向编程环境”，《ACM通信》，第24卷（9），1981年9月 谷歌学者 数字图书馆
建议
可移植程序设计语言（TPL）系统。 二、。 双功能编译器系统 可移植编程语言（TPL）方法是一种高级语言方法，它使用双功能编译器通过高级语言（HLL）的假设父语言，在特定高级语言的各种方言之间高效地转换代码。。。
