托比亚斯·尼普科 高阶统一、多态性和子部分（扩展抽象）。 （英语） 兹比尔1507.68075 Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。勒克特。注释计算。科学。516, 436-447 (1991).MSC公司：68甲18 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow}，莱克特。注释计算。科学。516436-447（1991年；Zbl 1507.68075） 全文： 内政部
扬·威廉·克鲁普;罗德·德弗里杰尔 长期重写系统。 （英语） Zbl 1507.68151号 Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。勒克特。注释计算。科学。516, 26-50 (1991).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Klop}和\textit{R.de Vrijer}，莱克特。注释计算。科学。516，26-50（1991年；兹bl 1507.68151） 全文： 内政部 链接
J.R.肯纳韦。;Klop，J.W。;睡眠，M.R。;德弗里斯，F.J。 正交项重写系统中的超有限约简（扩展抽象）。 （英语） Zbl 1502.68151号 罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。488，1-12（1991）中描述。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Kennaway}等人，莱克特。注释计算。科学。488，1-12（1991年；Zbl 1502.68151） 全文： 内政部
西蒙·琼斯（Simon L.Peyton Jones）。（编辑）;格雷厄姆·赫顿（编辑）;卡斯滕·凯勒·霍尔斯特（编辑） 功能编程。1990年格拉斯哥研讨会会议记录，1990年8月13日至15日，苏格兰阿尔拉浦（英国）。 （英语） Zbl 0756.68013号 计算机研讨会。柏林等：Springer-Verlag。八、 第287页（1991年）。 审核人：M.Duí（普拉哈） MSC公司：68-06 68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Peyton Jones}（编辑）等人，《函数编程》。1990年格拉斯哥研讨会论文集，1990年8月13日至15日，苏格兰（英国）乌拉普尔。柏林等：Springer-Verlag（1991；Zbl 0756.68013）
B.希尔肯。;Rydeheard，D.E。 用于程序开发的索引类别。 （英语） Zbl 0746.03019号 加利福尼亚州。拓扑Géom。差异。猫。 32，第2期，165-185（1991）.MSC公司：03B70号 03G30型 60年第68季度 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{B.Hilken}和\textit{D.E.Rydeheard}，加利福尼亚州。拓扑Géom。差异。Catégoriques 32，No.2，165--185（1991；Zbl 0746.03019） 全文： Numdam编号 欧洲DML
盖伊，拉帕尔 HASKELL中的数组。 （英语） Zbl 0800.68275号 数组、函数语言和并行系统。第一届国际研讨会，加拿大魁北克省蒙特利尔，1990年，125-131年（1991年）。MSC公司：68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Lapalme}，in：数组、函数语言和并行系统。第一次国际研讨会于1990年6月12日至15日在加拿大魁北克省蒙特利尔举行。诉讼程序。多德雷赫特：Kluwer学术出版集团。125-131（1991年；Zbl 0800.68275）
卡尔·麦克罗斯基;罗伊，卡纳德;Ken，水手 法拉费：函数语言中的数组。 （英语） Zbl 0800.68282号 数组、函数语言和并行系统。第一届国际研讨会，加拿大魁北克省蒙特利尔，1990年，107-123（1991年）。MSC公司：68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.McCrosky}等人，in：数组、函数语言和并行系统。第一次国际研讨会于1990年6月12日至15日在加拿大魁北克省蒙特利尔举行。诉讼程序。多德雷赫特：Kluwer学术出版集团。107-123（1991年；Zbl 0800.68282）