凯文·哈蒙德（编辑）;格雷格·迈克尔森（编辑） 并行函数编程的研究方向。 （英语） Zbl 0940.68022号 伦敦：斯普林格。xxvi，502页（1999年）。 审核人：L.Brim（布尔诺） MSC公司：68甲18 2002年8月 68-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Hammond}（编辑）和\textit{G.Michaelson}（编），并行函数编程研究方向。伦敦：Springer（1999；Zbl 0940.68022）
彼得·佩珀 OPAL、ML、HASKELL和GOFER中的函数编程。（OPAL、ML、HASKELL和GOFER中的功能编程。） （德语） Zbl 0914.68027号 柏林：斯普林格。xiv，296 p.（1999）。 审核人：G.Riedewald（罗斯托克） MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Pepper}，OPAL、ML、HASKELL和GOFER中的功能编程。柏林：施普林格出版社（1999；Zbl 0914.68027）
麦克库斯克，盖伊 具有递归类型的函数元语言的游戏和完全抽象。 （英语） Zbl 0917.68192号 杰出论文柏林：施普林格。xiv，194 p.（1998）。 审核人：A.Kondrat'yev（彭萨科拉） MSC公司：68吨10 68-01 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.McCusker}，游戏和递归类型的函数元语言的完全抽象。柏林：施普林格（1998；Zbl 0917.68192）
罗纳德·瓦克斯曼（编辑）;Jean-Michel Bergé（编辑）;奥兹·莱维亚（编辑）;雅克·罗伊拉德（编辑） 高级系统建模：规范和设计方法。 （英语） Zbl 0838.68119号 电子建模中的当前问题. 4. 多德雷赫特：Kluwer学术出版社。十六、192页（1996年）。MSC公司：68岁20岁 68-01 PDF格式BibTeX公司 XML格式引用 \textit{R.Waxman}（ed.）等人，《高级系统建模：规范和设计方法》。多德雷赫特：Kluwer学术出版社（1996；Zbl 0838.68119）
海科·多尔 高效的图重写及其实现。 （英语） Zbl 1154.68435号 计算机科学课堂讲稿922.柏林：Springer-Verlag（ISBN 3-540-60055-8）。ix，第266页。(1995).MSC公司：2012年第68季度 2002年8月 68甲15 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.Dörr}，高效图重写及其实现。柏林：Springer-Verlag（1995；Zbl 1154.68435）
罗伯托·迪·科斯莫 类型同构：从（lambda）-演算到信息检索和语言设计。 （英语） Zbl 0819.03006号 理论计算机科学进展。巴塞尔：Birkhä用户。viii，第235页（1995年）。 审核人：C.柏林（巴黎） MSC公司：03B40型 03-02 2002年8月 68第20页 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Di Cosmo}，类型同构：从（lambda）-演算到信息检索和语言设计。巴塞尔：Birkhäuser（1995；Zbl 0819.03006）
俄罗斯布罗达;苏珊·艾森巴赫;赫萨姆·科什内维桑;史蒂夫·维克斯 合理的编程。 （英语） Zbl 0814.68087号 伦敦：普伦蒂斯·霍尔。xvi，296页（1994年）。 审核人：R.Horsch（马克多夫） MSC公司：第68季度第60季度 68N99型 68-01 PDF格式BibTeX公司 XML格式引用 \textit{K.Broda}等人，推理编程。伦敦：普伦蒂斯·霍尔（Prentice Hall）（1994；Zbl 0814.68087）
肯尼思·劳登。 程序设计语言.原理和实践。（Programmiersprachen.Grundlagen，Konzepte，Entwurf.Aus d.American.übers.von Peter Dobrowolski u.Mechthild Boré） （英语） Zbl 0826.68022号 Informatik Lehrbuch-Reihe公司。波恩：国际汤姆森出版社。xvii，810 p.79.00/hc马克（1993年）。 审核人：H.Alt（柏林） MSC公司：68甲15 68号01 68问题55 68N17号 68-01 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Louden}，Programmiersprachen。Grundlagen、Konzepte、Entwurf、Aus d.American。吕贝尔斯。冯·彼得·多布罗夫斯基（von Peter Dobrowolski）和梅奇希尔德·博雷（Mechthild Boré）。波恩：国际汤姆森出版社（1993；Zbl 0826.68022）
爱丽丝·菲舍尔（Alice E.Fischer）。;弗朗西斯·格罗金斯基。 对编程语言的剖析。 （英语） Zbl 0774.68005号 伦敦：Prentice-Hall International。二十八、 第557页（1993年）。 审核人：G.乔巴努（伊阿什） MSC公司：68-01 68甲15 68号01 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Fischer}和\textit{F.S.Grodzinsky}，《编程语言剖析》。伦敦：Prentice Hall International（1993年；兹bl 0774.68005）
Plasmeijer，里努斯;马克·范·埃克伦 函数编程和并行图重写。 （英语） Zbl 0788.68023号 国际计算科学系列。阿姆斯特丹：Addison-Wesley出版集团。十七、 第571页，48.50/hc（1993年）。 审核人：S.Gerber（斯图加特） MSC公司：68甲15 68-01 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Plasmeijer}和\textit{M.vanEekelen}，函数编程和并行图重写。阿姆斯特丹：Addison-Wesley出版集团（1993；Zbl 0788.68023）
卡尔·A·冈特。 编程语言的语义。结构和技术。 （英语） Zbl 0823.68059号 麻省理工学院计算机基础新闻系列。伦敦：麻省理工学院出版社。xviii，419 p.$34.95/sc（1992年）。 审核人：D.沃纳（德累斯顿） MSC公司：68问题55 68甲15 2002年8月 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Gunter}，编程语言的语义。结构和技术。伦敦：麻省理工学院出版社（1992；Zbl 0823.68059）
美国P.H.M。;J.J.M.M.鲁顿。 并行面向对象语言：设计和语义基础。 （英语） Zbl 0760.68044号 CWI拖拉机. 81. 阿姆斯特丹：Wiskunde en Informatica中心。316页（1991年）。 审核人：P.Forbrig（罗斯托克） MSC公司：第68季度55 2002年8月 PDF格式BibTeX公司 XML格式引用 \textit{P.H.M.America}和\textit{J.J.M.M.Rutten}，并行面向对象语言：设计和语义基础。阿姆斯特丹：Centrum voor Wiskunde en Informatica（1991；Zbl 0760.68044）
拉尔夫·马丁·齐默 作为交互式约简系统基础的操作化（λ）演算的实用主义。（Zur Pragmatik eines operationalisierten（\lambda{}）-Kalküls als Basis für interaktive Redukitions系统） （德语） Zbl 0786.68003号 Berichte der Gesellschaft für Mathematik und Datenverabeitung（GMD-Bericht）。192.慕尼黑等：R.Oldenbourg Verlag。第442页（1991年）。 审核人：P.马特拉纳（普拉哈） MSC公司：68-01 68甲15 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Zimmer}，《Zur Pragmatik eines operationisierten\（\lambda{}\）-Kalküls als Basis füR interaktive Reduktions systeme》。慕尼黑等：R.Oldenbourg Verlag（1991；Zbl 0786.68003）
Jean-Pierre，Banátre;西蒙·琼斯。;丹尼尔·勒梅泰勒 软件工程中函数编程的展望。 （英语） Zbl 0760.68006号 ESPRIT研究报告。项目302。1.柏林等：斯普林格·弗拉格。九、 210页（1991年）。 审核人：S.Gerber（斯图加特） MSC公司：2002年8月 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Banátre}等人，《软件工程中函数编程的前景》，柏林等：Springer-Verlag（1991；Zbl 0760.68006）
菲利普·约翰·朱·库普曼。 组合子图约简的体系结构。 （英语） Zbl 0773.68001号 波士顿等：学术出版社。XV、 155页（1990年）。 审核人：H.Schmeck（卡尔斯鲁厄） MSC公司：2002年8月 68M99型 68甲15 68号01 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Koopman jun.}，一种组合图约简的体系结构。波士顿等：学术出版社（1990；Zbl 0773.68001）
吉安卡洛·皮拉尼（编辑） 语音理解的高级算法和架构。 （英语） Zbl 0713.68047号 研究报告ESPRIT，项目26，SIP，1。柏林等：Springer-Verlag。十四、 第274页，45.00德国马克（1990年）。 审核人：K.Peeva公司 MSC公司：68吨10 68T01型 68-06 PDF格式BibTeX公司 XML格式引用 \textit｛G.Pirani｝（编辑），语音理解的高级算法和架构。柏林等：Springer-Verlag（1990；Zbl 0713.68047）
劳伦斯·C·鲍尔森。 逻辑和计算。剑桥LCF的交互式证明。 （英语） Zbl 0645.68041号 剑桥理论计算机科学丛书, 2. 剑桥等：剑桥大学出版社。十三、 302页。；Ł 27.50; $ 34.50 (1987). 审核人：J.-J.Ch.梅耶 MSC公司：68问题65 03-01 68-01 03B10号机组 03F99型 03D99号 18立方厘米 03B40型 PDF格式BibTeX公司 XML格式 全文： 内政部