苏米特·古尔瓦尼;阿什什·蒂瓦里;Necula，George C。 未解释函数理论的连接算法。 （英语） Zbl 1117.03340号 Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学课堂讲稿3328311-323（2004）。MSC公司：03B70号 03B35型 03C05号机组 05年3月 08A30型 08A70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Gulwani}等人，Lect。注释计算。科学。3328311--323（2004年；Zbl 1117.03340） 全文： 内政部
魏家旺 不动点变换的正确性。 （英语） Zbl 0809.08003号 西奥。计算。科学。 129，第1期，123-142（1994）. 审核人：C.Masalagiu（伊阿什） MSC公司：08A70号 06年06月06日 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Wei}，Theor。计算。科学。129，编号1，123--142（1994；Zbl 0809.08003） 全文： 内政部
H.赖切尔。 计算机科学中的代数诱导数学Hifsmittel。 （德语） Zbl 0492.68011号 棒球手套。数学。格式。数字数据记录器 1981年，第2-4、111-127号（1981年）.MSC公司：68号01 60年第68季度 65年第68季度 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{H.Reichel}，米特。数学。格式。DDR 1981，编号2--4，111-127（1981；Zbl 0492.68011）
安德烈·哈纳尔;内梅蒂，I。 泛代数、模型论和范畴在计算机科学中的应用。 （英语） Zbl 0446.68021号 计算。语言学家。计算。语言。 13251-282（1979年）.MSC公司：68问题65 68-02 00A15年 65年第68季度 18B20型 08C15号 60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Hajnal}和\textit{I.Nemeti}，计算。语言学家。计算。Lang.13，251--282（1979；Zbl 0446.68021）
沃伊迪洛，B。 从代数的角度来看编程语言。 （英语） Zbl 0401.68048号 对普通代数的贡献，Proc。克拉根福会议，1978年，405-421（1979年）。MSC公司：65年第68季度 60年第68季度 68问题55 68问题65 08A05号 06B23号 PDF格式BibTeX公司 XML格式
塞梅诺夫，A.L。 算法代数系统的一些算法问题。 （英语。俄文原件） Zbl 0402.68036号 苏联。数学。，多克。 19, 490-493 (1978)；翻译自Dokl。阿卡德。诺克SSSR 2391063-1066（1978）。MSC公司：68问题65 60年第68季度 03B25号 68瓦99 08A99号 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Semenov}，苏联。数学。，多克。19、490--493（1978；Zbl 0402.68036）；翻译自Dokl。阿卡德。诺克SSSR 2391063-1066（1978）
海因茨·卡彭斯特;霍斯特·赖切尔 非上下文无关语言的初始代数语义。 （英语） Zbl 0395.68070号 芬丹。计算。理论，程序。国际会议，波兹南·科尼克1977年，莱克特。注释计算。科学。56, 120-126 (1977).MSC公司：65年第68季度 68问题55 60年第68季度 03C65型 08A55号 PDF格式BibTeX公司 XML格式
马蒂亚斯·霍普纳;Opp，曼弗雷德 通过洗牌操作建立的大约三类等式语言。 （英语） Zbl 0413.68072号 数学。已找到。计算。科学。，程序。第五届MFCS交响乐团。，格但斯克，1976年，莱克托。注释计算。科学。45, 337-344 (1976).MSC公司：65年第68季度 60年第68季度 20立方米 08A99号 PDF格式BibTeX公司 XML格式