阿列克桑达尔·纳内夫斯基;阿马尔·艾哈迈德;格雷格·莫里塞特;拉尔斯·比克达尔 Hoare类型理论中的抽象谓词和可变ADT。 （英语） Zbl 1187.68158号 De Nicola，Rocco（编辑），《编程语言和系统》。第16届欧洲编程研讨会，ESOP 2007，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2007，2007年3月24日至4月1日，葡萄牙布拉加。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿4421189-204（2007）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nanevski}等人，Lect。注释计算。科学。4421，189--204（2007；Zbl 1187.68158） 全文： 内政部
阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 \（L^3）：具有位置的线性语言。 （英语） Zbl 1121.68021号 芬丹。通知。 77，第4期，397-449（2007）.MSC公司：68甲18 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahmed}等人，Fundam。通知。77，第4号，397--449（2007；Zbl 1121.68021）
马修·弗莱特;格雷格·莫里塞特;阿马尔·艾哈迈德 线性区域就是您所需要的全部。 （英语） Zbl 1178.68151号 Peter Sestoft（编辑），《编程语言和系统》。2006年3月27日至28日在奥地利维也纳举行的第15届欧洲编程研讨会（ESOP 2006），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33095-X/pbk）。计算机科学课堂讲稿3924，7-21（2006）。MSC公司：68号30 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Fluet}等人，Lect。注释计算。科学。3924，7--21（2006年；Zbl 1178.68151） 全文： 内政部
阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 子结构状态的阶跃诱导模型。 （英语） Zbl 1302.68048号 2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，78-91（2005）。MSC公司：68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahmed}等人，in：第十届ACM SIGPLAN函数式编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。78-91（2005；Zbl 1302.68048） 全文： 内政部 链接
格雷格·莫里塞特;阿马尔·艾哈迈德;马修·弗莱特 \（\text{L}^{3}\）：带位置的线性语言。 （英语） Zbl 1112.68341号 Urzyczyn，Paweł（编辑），《lambda计算类型和应用》。2005年4月21日至23日在日本奈良举行的2005年TLCA第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25593-1/pbk）。计算机科学课堂讲稿3461293-307（2005）。MSC公司：68甲18 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{G.Morrisett}等人，Lect。注释计算。科学。3461，293--307（2005；Zbl 1112.68341） 全文： 内政部