沃尔夫拉姆·卡尔 教学工具中的计算关系代数证明CalcCheck（计算检查）. （英文） Zbl 1462.68217号 J.日志。阿尔盖布。方法计划。 117，文章ID 100581，39页（2020）.MSC公司：68伏15 97U70型 PDF格式BibTeX公司 XML格式引用 \textit｛W.Kahl｝，J.日志。阿尔盖布。方法程序。117，文章ID 100581，39 p.（2020；Zbl 1462.68217） 全文： 内政部
阿尔文·彭纳 将三次Bézier拟合为参数函数。 （英文） Zbl 1445.97040号 科尔。数学。J。 50，第3期，185-196（2019）.MSC公司：97N50型 65日第10天 PDF格式BibTeX公司 XML格式引用 \textit{A.Penner}，科尔。数学。J.50，第3号，185--196（2019年；Zbl 1445.97040） 全文： 内政部
詹姆斯·哈金斯。;查尔斯·华莱士 抽象状态机和查询过程。 （英文） Zbl 1287.68046号 安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，405-413（2010）。MSC公司：2005年第68季度 97页20 PDF格式BibTeX公司 XML格式引用 \textit｛J.K.Huggins｝和\textit｛C.Wallace｝，Lect。注释计算。科学。6300405-413（2010年；兹比尔1287.68046） 全文： 内政部
迈克尔·哈迪;凯瑟琳·伍德戈尔德 极致简约。 （英文） Zbl 1196.11004号 数学。智力。 31，第4号，44-52（2009）. 审核人：Franz Lemmermeyer（Jagstzell） MSC公司：11-03 11A41号机组 97年30日 PDF格式BibTeX公司 XML格式引用 \textit{M.Hardy}和\textit{C.Woodgold}，数学。智力。31，第4号，44-52（2009；Zbl 1196.11004） 全文： 内政部
克里斯蒂安·艾森特罗;霍尔格赫尔曼斯 向新生教授并发概念。 （英文） 兹比尔1171.68571 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理I.柏林：施普林格》（ISBN 978-3-540-89286-1/pbk）。计算机科学讲义5100。《期刊副刊》，35-53（2008）。MSC公司：68问题85 97U30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}和\textit{H.Hermanns}，莱克特。注释计算。科学。5100、35-53（2008年；Zbl 1171.68571） 全文： 内政部