马丁·阿巴迪;戈登·普洛金 协作线程模型。 （英语） Zbl 1315.68079号 2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。29-40 (2009).MSC公司：68号30 第68页第15页 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛M.Abadi｝和\textit｛G.Plotkin｝，载于：第36届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’09，美国佐治亚州萨凡纳，2009年1月18日至24日。纽约州纽约市：计算机协会（ACM）。29-40（2009年；Zbl 1315.68079） 全文： 内政部 链接
马丁·阿巴迪;安德鲁·伯雷尔;蒂姆·哈里斯;迈克尔·伊萨德 事务记忆和自动互斥的语义。 （英语） Zbl 1295.68149号 第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。63-74 (2008).MSC公司：68问题55 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。63-74（2008年；Zbl 1295.68149） 全文： 内政部
马丁·阿巴迪;Leino，K.Rustan M。 面向对象程序的逻辑。 （英语） Zbl 1274.68055号 Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿277211-41（2003）。MSC公司：68甲19 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{K.R.M.Leino}，莱克特。注释计算。科学。2772，11--41（2003；Zbl 1274.68055） 全文： 内政部
马丁·阿巴迪;塞德里克，福内特;乔治·戈蒂尔 身份验证原语及其编译。 （英语） Zbl 1323.68178号 2000年1月19日至21日，美国马萨诸塞州波士顿，POPL'00，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-58113-125-9）。302-315 (2000).MSC公司：68甲19 第68页第15页 68N20型 68号30 68问题85 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，《第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL'00，美国马萨诸塞州波士顿，2000年1月19-21日。纽约州纽约市：计算机协会（ACM）。302-315（2000；Zbl 1323.68178） 全文： 内政部
马丁·阿巴迪;卢卡·卡德利 物体理论。 （英语） Zbl 0876.68014号 纽约州纽约市：Springer-Verlag。xiii，第396页（1996年）。 审核人：U.Hahn（荷兰弗赖堡） MSC公司：68号01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{L.Cardelli}，对象理论。纽约州纽约市：Springer-Verlag（1996；Zbl 0876.68014）
马丁·阿巴迪;卢卡·卡德利 命令式对象演算。 （英语） Zbl 1496.68098号 Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 471-485 (1995).MSC公司：68号30 03B70号 第68页第15页 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{L.Cardelli}，莱克特。注释计算。科学。915471-485（1995年；Zbl 1496.68098） 全文： 内政部