奥利维尔·伯内兹;纳鸿·德肖维茨;皮埃尔·奈隆 公理化模拟算法。 （英语） Zbl 1475.68460号 贝克曼，阿诺德（编辑）等人，《追求宇宙》。2016年6月27日至7月1日，在法国巴黎举行的第12届欧洲可计算性会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9709, 215-224 (2016).MSC公司：68周01 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}等人，Lect。注释计算。科学。9709215--224（2016；Zbl 1475.68460） 全文： DOI程序 arXiv公司
J.V.塔克。;朱克，J.I。 将可计算性理论推广到抽象代数。 （英语） Zbl 1403.03077号 乔瓦尼（编辑）等，《图灵的革命》。他的可计算性思想的影响。查姆：Birkhäuser/Springer（ISBN 978-3-319-22155-7/hbk；978-3-3169-22156-4/电子书）。127-160 (2015).MSC公司：03D75号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{J.V.塔克}和\textit{J.I.祖克}，in：图灵革命。他的可计算性思想的影响。查姆：Birkhäuser/Springer。127-160（2015；Zbl 1403.03077） 全文： DOI程序 链接