亨莱因，弗里茨;罗宾·卡斯加德;米克尔·克拉·马西森 代数：可逆性的代数方法。 （英语） Zbl 07615946号 Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 128-145 (2022).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein}等人，Lect。注释计算。科学。13354，128--145（2022；Zbl 07615946） 全文： DOI程序
罗素·奥康纳 建设性世界的经典数学。 （英语） Zbl 1263.03009号 数学。结构。计算。科学。 21，第4期，861-882（2011）.MSC公司：03B35型 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{R.O'Connor}，数学。结构。计算。科学。21，第4号，861--882（2011；Zbl 1263.03009） 全文： DOI程序 arXiv公司
马丁·海兰德 推广领域理论的一些原因。 （英语） Zbl 1197.06004号 数学。结构。计算。科学。 20，第2期，239-265（2010）.MSC公司：06B35号 18B35型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}，数学。结构。计算。科学。20，第2号，239--265（2010；Zbl 1197.06004） 全文： DOI程序
彼得·舒斯特 问题、解决方案和完成情况。 （英语） Zbl 1184.03059号 J.日志。阿尔盖布。程序。 79，第1期，84-91（2010）.MSC公司：03层60 03E25型 54E50型 PDF格式BibTeX公司 XML格式引用 \textit{P.Schuster}，J.Log。阿尔盖布。程序。79，编号1，84--91（2010；Zbl 1184.03059） 全文： DOI程序
史蒂文·维克斯 连接的维多利斯电力局。 （英语） Zbl 1171.54009号 拓扑应用程序。 156，第11期，1886-1910（2009）. 审核人：Eva Colebunders（布鲁塞尔） MSC公司：54B20型 54D05型 22日6时 03G30型 26E40型 54E50型 PDF格式BibTeX公司 XML格式引用 \textit{S.Vickers}，拓扑应用。156，第11号，1886-1910（2009；Zbl 1171.54009） 全文： DOI程序 链接