泰德、马蒂 关于计算的三场辩论。 （英语） Zbl 1387.68008号 Bonizzoni，Paola（编辑）等人，《计算的本质》。逻辑、算法、应用。第九届欧洲可计算性会议，2013年7月1日至5日，意大利米兰，CiE 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39052-4/pbk）。计算机科学课堂讲稿7921，404-413（2013）。MSC公司：2003年8月 PDF格式BibTeX公司 XML格式引用 \textit{M.Tedre}，莱克特。注释计算。科学。7921、404--413（2013；Zbl 1387.68008） 全文： 内政部
安德烈亚·阿斯佩蒂；Maison、Harry G。 并行beta缩减并不是简单的递归。 （英语） Zbl 1005.68037号 Inf.计算。 170，第1号，49-80（2001）.MSC公司：68甲18 03B40型 03D20日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}和\textit{H.G.Mairson}，Inf.Comput。170，第1号，49--80（2001；Zbl 1005.68037） 全文： 内政部
奥斯汀梅尔顿；Schröder，Bernd S.W。；乔治·斯特雷克（George E.Strecker）。 Lagois连接–与Galois连接相对应。 （英语） Zbl 0873.68053号 西奥。计算。科学。 136，第1期，79-107（1994）.MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Melton}等人，Theor。计算。科学。136，编号1，79--107（1994；Zbl 0873.68053） 全文： 内政部
谢特林，G.E。；巴库林，A.V。 多级结构化程序设计和正确性证明。 （英语。俄文原件） Zbl 0841.68075号 赛博。系统。分析。 27，第5期，719-726（1991）; 翻译自Kibern。修女。分析。1991年，第5期，98-107（1991）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tsejtlin}和\textit{A.V.Bakulin}，Cybern。系统。分析。27，No.5，719--726（1991；Zbl 0841.68075）；翻译自Kibern。修女。分析。1991年，第5期，98--107（1991） 全文： 内政部