克鲁塞纳。;拉梅尔，R。;C.弗霍夫。 已部署软件的体系结构修改。 （英语） Zbl 1085.68542号 科学。计算。程序。 54，编号2-3，143-211（2005）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Klusener}等人，科学。计算。程序。54，No.2--3，143--211（2005；Zbl 1085.68542） 全文： 内政部
拉尔夫·拉梅尔 使用术语重写策略的类型化泛型遍历。 （英语） Zbl 1026.68076号 J.日志。阿尔盖布。程序。 54，第1-2、1-64号（2003）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel}，J.Log。阿尔盖布。程序。54，编号1--2，1--64（2003；Zbl 1026.68076） 全文： 内政部
拉尔夫·拉梅尔;Joost Visser公司 斯特拉芬斯基的申请信。 （英语） Zbl 1026.68791号 Dahl，Veronica（编辑）等人，声明性语言的实践方面。第五届国际研讨会，2003年PADL，美国洛杉矶新奥尔良，2003年1月13日至14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2562, 357-375 (2002).MSC公司：68单位99 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel}和\textit{J.Visser}，莱克特。注释计算。科学。2562、357--375（2002年；Zbl 1026.68791） 全文： 链接