尤里·普罗霍罗夫 双有理变换的有限组。 （英语） 兹比尔1523.14031 Hujdurović，Ademir（编辑）等人，欧洲数学大会。2021年6月20日至26日，斯洛文尼亚波托罗日，8ECM，第八届大会会议记录。柏林：欧洲数学学会（EMS）。413-437 (2023).MSC公司：14E07号 14J50型 14J45型 14E30型 14-02 PDF格式BibTeX公司 XML格式引用 \textit{Y.Prokhorov}，in：欧洲数学大会。2021年6月20日至26日，斯洛文尼亚波托罗日，8ECM，第八届大会会议记录。柏林：欧洲数学学会（EMS）。413--437（2023年；Zbl 1523.14031） 全文： 内政部 arXiv公司
于普罗霍罗夫。G.公司。 等变最小模型程序。 （英语。俄文原件） Zbl 1478.14030号 俄罗斯数学。Surv公司。 76，第3期，461-542（2021年）; 来自Usp的翻译。Mat.Nauk 76，No.3，93-182（2021）。 审核人：Anne-Sophie Kaloghiros（伦敦） MSC公司：14E30型 14E07号 14J50型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.G.Prokhorov}，俄罗斯数学。Surv公司。76，第3号，461--542（2021；Zbl 1478.14030）；来自Usp的翻译。Mat.Nauk 76，No.3，93--182（2021） 全文： 内政部
瓦莱里·帕斯科尔;劳伦特·哈斯科特 混合语言自动区分。 （英语） Zbl 1455.65036号 最佳方案。方法软件。 33，第4-6号，1192-1206（2018）.MSC公司：65D25个 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Pascual}和\textit{L.Hascoöt}，Optim。方法软件。33，编号4--6，1192--1206（2018；Zbl 1455.65036） 全文： 内政部 哈尔
阿穆尔·哈尼·萨利赫;汤姆·施里杰弗斯 Prolog的高效代数效果处理程序。 （英语） Zbl 1379.68080号 理论实践。日志。程序。 16，编号5-6，884-898（2016）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Saleh}和\textit{T.Schrijvers}，理论与实践。日志。程序。16、编号5--6884--898（2016；Zbl 1379.68080） 全文： 内政部 arXiv公司
沃尔特·古特曼 迭代代数和无限计算代数。 （英语） Zbl 1279.68078号 学报信息。 49，第5期，343-359（2012）.MSC公司：2005年第68季度 70年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛W.Guttmann｝，《情报法》第49卷，第5期，343-359页（2012年；兹bl 1279.68078） 全文： 内政部
阿尔西诺·库尼亚;乔斯特·维瑟 将结构化程序转换为XPath查询和战略功能。 （英语） Zbl 1215.68066号 科学。计算。程序。 76，第6号，516-539（2011）.MSC公司：68号30 68甲18 68甲19 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Cunha}和\textit{J.Visser}，科学。计算。程序。76，No.6，516--539（2011；Zbl 1215.68066） 全文： 内政部 链接
克里斯托夫·舒尔茨;勒韦，迈克尔;哈拉尔德·科尼格 面向对象系统转换的分类框架：模型和数据。 （英语） Zbl 1211.68259号 J.塞姆。计算。 46，第3号，316-337（2011）.MSC公司：68问题65 18A40型 68个P01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Schulz}等人，J.Symb。计算。46，第3号，316-337（2011；Zbl 1211.68259） 全文： 内政部
Jean-Pierre侯爵 从几何角度来看。范畴理论的历史和哲学研究。 （英语） 兹比尔1165.18002 逻辑、认识论与科学的统一14.柏林：施普林格出版社（ISBN 978-1-4020-9383-8/hbk；978-1-4020-9384-5/电子书）。x、 第310页。(2009). 审核人：Hirokazu Nishimura（筑波） MSC公司：18-06 01年XX月 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.马奎斯}，从几何学角度来看。范畴理论的历史和哲学研究。柏林：施普林格出版社（2009；Zbl 1165.18002） 全文： 内政部
克里斯蒂安·比肖夫。;保罗·D·霍夫兰。;博亚娜·诺里斯 关于自动差异化工具的实现。 （英语） Zbl 1168.65324号 高-订单符号。计算。 21，第3号，311-331（2008）.MSC公司：65D25个 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Bischof}等人，高-订购符号。计算。21，第3号，311--331（2008；Zbl 1168.65324） 全文： 内政部
瓦莱里·帕斯科尔;劳伦特·哈斯科特 C的锥体。 （英语） Zbl 1156.68634号 Bischof，Christian H.（编辑）等人，《自动微分的进展》。根据2008年8月11日至15日在德国波恩举行的第五届自动差分国际会议上的演示文稿选出的论文。柏林：施普林格出版社（ISBN 978-3-540-68935-5/pbk）。计算科学与工程课堂讲稿64，199-209（2008）。MSC公司：68瓦30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{V.Pascual}和\textit{L.Hascoöt}，Lect。注释计算。科学。工程64，199--209（2008；Zbl 1156.68634）
阿卜杜萨马德·伊明;米歇尔·鲁西诺维奇;盖拉尔·奥斯特;帕斯卡·莫利 副本收敛操作转换算法的形式化设计和验证。 （英语） Zbl 1086.68019号 西奥。计算。科学。 351，第2期，167-183（2006）.MSC公司：64岁以下 68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Imine｝等人，Theor。计算。科学。351，第2号，167--183（2006；Zbl 1086.68019） 全文： 内政部
伊丽莎白·伦纳德。;康斯坦斯·海特迈尔。 使用APTS从正式需求规范合成程序。 （英语） Zbl 1038.68080号 高-订购符号。计算。 16，第1-2号，63-92（2003）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.I.Leonard}和\textit{C.L.Heitmeyer}，高中-订购符号。计算。16，编号1--2，63-92（2003；Zbl 1038.68080） 全文： 内政部
福村义彦（编辑） 程序转换、符号计算和代数操作。1999年11月29日至12月1日在日本京都大学数学科学研究所举行的研讨会论文集。 （英语、日语） Zbl 0970.68005号 RIMS Kokyuroku公司 1125182页（2000年）.MSC公司：68-06 00B25型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Futamura}（编辑），RIMS Kokyuroku 1125，182~p.（2000；Zbl 0970.68005）
迈克尔·巴托洛缪·比格斯;史蒂文·布朗;克里斯蒂安森，布鲁斯;劳伦斯·狄克逊 算法的自动区分。 （英语） Zbl 0994.65020号 J.计算。申请。数学。 124，第1-2期，171-190（2000）.MSC公司：65D25个 2005年5月 65G40型 65千5 65K10像素 49立方米 90立方 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartholomew-Biggs}等人，《计算杂志》。申请。数学。124，编号1--2，171-190（2000；Zbl 0994.65020） 全文： 内政部
彼得·哈里森。;而R.Lyndon 通过Horner规则将多项式求值转换为流水线。 （英语） Zbl 0827.68071号 科学。计算。程序。 24，第1期，83-95（1995）.MSC公司：60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.G.Harrison｝和\textit｛R.L.While｝，科学。计算。程序。24，编号1，83--95（1995；Zbl 0827.68071） 全文： 内政部
巴西奥斯，V。;北卡罗来纳州契卡诺夫。;马可夫斯基，B.L。;Rostovtsev，V.A.公司。;S.I.维尼茨基。 GITA：多项式哈密顿量归一化的REDUCE程序。 （英语） Zbl 0888.65083号 计算。物理学。Commun公司。 90，编号2-3，355-368（1995）.MSC公司：65升05 37J99型 65日元 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛V.Basios｝等人，计算。物理学。Commun公司。90，编号2--3，355--368（1995；Zbl 0888.65083） 全文： 内政部
托德·托格森 递归定义数组的并行调度：重温。 （英语） Zbl 0804.68084号 J.塞姆。计算。 16，第2期，189-226（1993）.MSC公司：60年第68季度 68瓦30 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{T.Torgersen}，J.塞姆。计算。16，第2号，189--226（1993；Zbl 0804.68084） 全文： 内政部
钱振宇 具有子类型的高阶类型的代数语义。 （英语） Zbl 0790.68079号 学报信息。 30，第6号，569-607（1993）.MSC公司：68问题65 60年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian}，《学报》第30期，第6期，第569-607页（1993；Zbl 0790.68079） 全文： 内政部
丹尼尔·多尔蒂（Daniel J.Dougherty）。 通过组合子实现高阶统一。 （英语） Zbl 0772.68061号 西奥。计算。科学。 114，第2期，273-298（1993）.MSC公司：68瓦30 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{D.J.Dougherty}，Theor。计算。科学。114，No.2，273--298（1993；Zbl 0772.68061） 全文： 内政部
哈里森，P.G。;科什内维桑，H。 数据类型的机械转换。 （英语） Zbl 0757.68080号 计算。J。 35，第2期，138-147（1992）.MSC公司：68问题65 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Harrison}和\textit{H.Khoshnevisan}，计算。J.35，第2号，138--147（1992；Zbl 0757.68080） 全文： 内政部
安东尼奥（G.Antoniou）。 模块和验证。 （英语） Zbl 0766.68091号 统一计算实验室：建模、规范和工具。Conf.，Stirling/UK 1990，数学研究所。申请。Conf.序列号。，新序列号。35, 353-366 (1992).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Antoniou}，Inst.数学。申请。Conf.序列号。，新序列号。35、353--366（1992年；Zbl 0766.68091）
C.T.P.伯顿。 程序变形。 （英语） Zbl 0760.68050号 正式Asp。计算。 4，No.6A，693-726（1992）.MSC公司：60年第68季度 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.T.P.Burton}，正式Asp。计算。4，编号6A，693--726（1992；Zbl 0760.68050） 全文： 内政部
曼弗雷德·布罗伊（编辑） 计算机科学和数学。（信息与数学） （德语） Zbl 0751.68003号 柏林等：Springer-Verlag。十四、 第450页（1991年）。 审核人：I.O.Kerner（德累斯顿） MSC公司：68-06 68号01 60年第68季度 68N20型 第68季度99 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}（编辑），Informatik und Mathematik。柏林等：Springer-Verlag（1991；Zbl 0751.68003）
莫勒，B。（编辑） 根据规范构建程序。1991年5月13日至16日，美国加利福尼亚州太平洋格罗夫，IFIP TC2/WG 2.1工作会议记录。 （英语） Zbl 0744.68025号 阿姆斯特丹等地：荷兰北部。十、 第515页（1991年）。 审核人：S.Miura（冈崎/爱知） MSC公司：68-06 第68季度第60季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}（编辑），根据规范构建程序。1991年5月13日至16日，美国加利福尼亚州太平洋格罗夫，IFIP TC2/WG 2.1工作会议记录。阿姆斯特丹等：北荷兰（1991；Zbl 0744.68025）
阿尔贝托·佩特罗西;安德烈·斯科伦 用于程序派生的lambda抽象策略。 （英语） Zbl 0686.68014号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 12，第4期，541-561（1989）. 审核人：D.鞑靼 MSC公司：60年第68季度 68号01 68瓦30 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{A.Skowron}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.12，No.4，541--561（1989；Zbl 0686.68014）
弗里德里希·路德维希·鲍尔;伯恩哈德·莫勒;赫尔穆特·帕奇;彼得·佩珀 通过转换构建正式的程序——计算机辅助、直观引导的编程。 （英语） Zbl 0664.68017号 IEEE传输。柔和。工程师。 15，第2期，165-180（1989）. 审核人：G.格里加斯 MSC公司：68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}等人，IEEE Trans。柔和。工程15，编号02165--180（1989；Zbl 0664.68017） 全文： 内政部
威廉·W·黑格。 应用数值线性代数。 （英语） Zbl 0665.65021号 新泽西州恩格尔伍德悬崖：普伦蒂斯·霍尔。八、 第424页，64.40美元（1988年）。 审核人：K.海纳 MSC公司：65传真 65-01 65华夏 2005年5月 15-04 PDF格式BibTeX公司 XML格式引用 \textit{W.W.Hager}，应用数值线性代数。新泽西州恩格尔伍德悬崖：普伦蒂斯·霍尔（1988；Zbl 0665.65021）
多伊纳·塔尔 重写系统中统一的递归编程。 （罗马尼亚语） Zbl 0669.68030号 语言，逻辑，数学语言，巴普。第10版国家标准。Colloq.，Brašov/Rom.1988，225-235（1988）。 审核人：D.焦油 MSC公司：68瓦30 68号01 03B70号 PDF格式BibTeX公司 XML格式
Iitaka、Shigeru 可约平面曲线的分类。 （英语） Zbl 0668.14025号 东京J.数学。 11，No.2，363-379（1988）. 审核人：E.巴利科 MSC公司：14日J10 14E05号 14米20 14甲10 14E07号 PDF格式BibTeX公司 XML格式引用 \textit{S.Iitaka}，东京J.数学。11，No.2，363--379（1988；Zbl 0668.14025） 全文： 内政部
朱红 一种程序扩展理论。 （英语） Zbl 0663.68014号 科学。罪。，序列号。A类 31，第12期，1515-1528（1988）.MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}，科学。罪。，序列号。A 31，No.12，1515--1528（1988；Zbl 0663.68014）
米歇尔·比特 程序和数据结构的“划分”转换以及结构冲突问题。 （英语） Zbl 0644.68028号 科学。计算。程序。 10，第3期，247-280（1988）.MSC公司：60年第68季度 68第05页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Michel}，科学。计算。程序。10，第3号，247--280（1988；Zbl 0644.68028） 全文： 内政部
Guido Persch公司 Ein转换系统zur程序wicklung。 （德语） Zbl 0702.68015号 GMD-Bericht，167年。慕尼黑等：奥尔登堡-弗拉格。第123页（1987年）。 审核人：G.施密特 MSC公司：68-02 第68季度第60季度 68问题65 68N99型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Persch}，《Ein Transformations system zur Programmentwicklung》。慕尼黑等：奥尔登堡（Oldenbourg Verlag）（1987；Zbl 0702.68015）
斯特凡尼、斯特凡诺 ABC：减少中间代码的代数理论。 （意大利语） Zbl 0668.68032号 Atti degli incri di logica matematica，第3卷，锡耶纳和帕多瓦/意大利1985/86，207-212（1987）。 审核人：A.佩特罗西 MSC公司：68瓦30 68问题55 PDF格式BibTeX公司 XML格式
勘误表。 （英语） Zbl 0657.68024号 程序。计算。软件 13，No.5，234（1987）.MSC公司：68问题65 第68季度第60季度 03B40型 PDF格式BibTeX公司 XML格式引用 程序。计算。柔和。13、5号、234（1987；Zbl 0657.68024）
弗尔克，V.N。 高级编程语言的理论模型。 （英语。俄文原件） Zbl 0645.68042号 程序。计算。软件 13，第4期，139-146（1987）; 译自Programmirovanie 1987，No.4，3-12（1987）。MSC公司：68问题65 第68季度第60季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Fal'k}，程序。计算。柔和。13，No.4，139--146（1987；Zbl 0645.68042）；译自Programmirovanie 1987，No.4，3--12（1987）
曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 关于编程语言的代数定义。 （英语） Zbl 0627.68009号 ACM事务处理。程序。语言系统。 9, 54-99 (1987).MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人，《美国医学杂志》。程序。语言系统。9、54-99（1987年；Zbl 0627.68009） 全文： 内政部 链接
J.L.穆罕默德。（编辑）;J.E.沃尔什。（编辑） 数值算法。（1984年曼彻斯特/利物浦暑期学校）。 （英语） Zbl 0617.65001号 曼彻斯特/利物浦数值分析暑期学校。牛津科学出版物。牛津：克拉伦登出版社。十二、 356页。；£30.00 (1986). 审核人：E.Wagenführer公司 MSC公司：65-06 65-02 65传真 65磅 65新元 65Dxx日 65Kxx美元 65C99个 65兰特 PDF格式BibTeX公司 XML格式
法国贝勒加德 重写FP表达式上的系统以减少生成的序列数。 （英语） Zbl 0613.68012号 科学。计算。程序。 6, 11-34 (1986).MSC公司：60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Bellegarde}，科学。计算。程序。6、11--34（1986年；Zbl 0613.68012） 全文： 内政部
Subrahmanyam，P.A.公司。 VLSI设计专家系统的代数基础。 （英语） Zbl 0612.68084号 超大规模集成电路设计的形式方面。研讨会，爱丁堡/苏格兰。1985年，59-81（1986）。MSC公司：68T99型 94立方厘米 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式
H·帕奇。 特定问题领域中的转换程序开发。 （英语） Zbl 0601.68015号 科学。计算。程序。 7, 99-241 (1986).MSC公司：68号01 60年第68季度 68瓦99 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Partsch}，科学。计算。程序。7、99--241（1986年；Zbl 0601.68015） 全文： 内政部
R.伯哈默。;H.齐勒。 确定性和非确定性程序的关系代数语义。 （英语） Zbl 0596.68019号 西奥。计算。科学。 43, 123-147 (1986).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{H.Zierer}，Theor。计算。科学。43、123——147（1986年；Zbl 0596.68019） 全文： 内政部
瓦伦汀·图尔钦。 通过超级编译进行程序转换。 （英语） Zbl 0587.68015号 程序作为数据对象。研讨会，哥本哈根/丹麦。1985年，Lect。注释计算。科学。217, 257-281 (1986).MSC公司：60年第68季度 68瓦30 68T20型 PDF格式BibTeX公司 XML格式
夏特林，菲利普 关于2乘2矩阵的算法变换。 （英语） Zbl 0584.68058号 信息处理。莱特。 22，1-5（1986年）.MSC公司：68瓦30 65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{P.Chatelin}，信息处理。莱特。22、1--5（1986年；Zbl 0584.68058） 全文： 内政部
奥利·伊曼纽尔·弗兰克森 数据的性质——从测量到系统。 （英语） Zbl 0566.00036号 比特币 25, 24-50 (1985). 审核人：D.歌手 MSC公司：00A30型 82B35型 94C15号机组 70A05型 18A99型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{O.I.Franksen}，BIT 25，24--50（1985；Zbl 0566.00036） 全文： 内政部
马内斯，E.G。;D.B.本森。 和阶半环的逆半群。 （英语） Zbl 0549.06014号 半群论坛 31, 129-152 (1985).MSC公司：2015年2月6日 2016年60月 20毫米35 70年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Manes}和\textit{D.B.Benson}，半群论坛31，129--152（1985；Zbl 0549.06014） 全文： 内政部 欧洲DML
约翰·达林顿 抽象数据类型实现的综合。程序转换策略。 （英语） Zbl 0532.68029号 计算机程序综合方法。北约高级研究所，博纳/法国，1981年，北约ASI Ser。，序列号。C 95，309-334（1983）。 审核人：H.D.埃里奇 MSC公司：60年第68季度 68号01 68第05页 PDF格式BibTeX公司 XML格式
伯恩哈德·穆勒 Unendliche Objekte and Geflechte（目标和目标）。 （德语） Zbl 0521.68015号 TUM，Inst.Inf.TUM-I8213，159 S.（1982）。MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式
约翰·K·里德。（编辑） 数值计算和编程语言之间的关系。1981年8月3日至7日在美国科罗拉多州博尔德举行的IFIP TC 2数值计算与编程语言之间关系工作会议记录。 （英语） Zbl 0496.68002号 阿姆斯特丹-纽约-牛津：North-Holland Publishing Company。X、 377页，37.25美元；英国国防部。80.00 (1982).MSC公司：2006年8月 65-06 68瓦30 00亿Bxx PDF格式BibTeX公司 XML格式
威廉·马尔格伦。 图形数据类型的正式规范。 （英语） Zbl 0494.68016号 ACM事务处理。程序。语言系统。 4, 687-710 (1982).MSC公司：60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Mallgren}，ACM翻译。程序。语言系统。4687-710（1982年；Zbl 0494.68016） 全文： 内政部
米查·谢里尔 关于集合论表达式的形式微分的一些观察。 （英语） Zbl 0481.68005号 ACM事务处理。程序。语言系统。 4, 196-225 (1982).MSC公司：68号01 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Sharir}，ACM翻译。程序。语言系统。4196-225（1982；Zbl 0481.68005） 全文： 内政部
迪米特洛夫，I。 迭代算法中递归不变量的系统变换。 （俄语） Zbl 0507.03019号 数学与数学教育，Proc。第十届春季Conf.Union Bulg。数学。，《阳光海滩》1981，248-253（1981）。MSC公司：03日70 68问题65 60年第68季度 PDF格式BibTeX公司 XML格式
C.J.霍格。 逻辑程序的推导。 （英语） Zbl 0464.68021号 J.协会计算。机器。 28, 372-392 (1981).MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Hogger}，J.协会计算。马赫。28372--392（1981年；Zbl 0464.68021） 全文： 内政部
佐哈尔·曼纳;理查德·沃尔丁格 程序综合的演绎方法。 （英语） Zbl 0468.68009号 ACM事务处理。程序。语言系统。 2090-121（1980年）.MSC公司：60年第68季度 68T20型 68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger}，ACM Trans。程序。语言系统。2、90-121（1980年；Zbl 0468.68009） 全文： 内政部
费利克斯，Y。 K同伦类型的Denombrement des。当地信息。 （法语） Zbl 0452.55005号 梅姆。社会数学。法语，Nouv。Sér。第3、49页（1980年）。MSC公司：55页62 14层35 2012年11楼 13天10分 13号05 57S99号 14E30型 14层30 PDF格式BibTeX公司 XML格式 全文： 内政部 Numdam编号 欧洲DML
布罗伊，M。 并发程序的转换语义。 （英语） Zbl 0444.68017号 信息处理。莱特。 11, 87-91 (1980).MSC公司：68N25号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，Inf.流程。莱特。11、87-91（1980年；Zbl 0444.68017） 全文： 内政部
布罗伊，M。;R.格纳茨。;威辛，M。 非确定性和非连续结构的语义。 （英语） Zbl 0406.03059号 项目建设，国际暑期学校。，马克托伯多夫1978年，Lect。注释计算。科学。69, 553-592 (1979).MSC公司：03D60年 68N99型 03E60年 68问题65 PDF格式BibTeX公司 XML格式
爱德华多·卡斯·阿尔维罗 关于代数曲面的虚亏格。二、。 （西班牙语） Zbl 0407.14026号 收集。数学。 28, 39-61 (1977).MSC公司：14号05 14E05号 14E30型 14日J10 14个M10 PDF格式BibTeX公司 XML格式引用 \textit｛E.C.Alvero｝，收集。数学。28、39-61（1977年；Zbl 0407.14026）