阿卡尔（Umut A.Acar）。;阿马尔·艾哈迈德;切尼，詹姆斯;罗利·佩雷拉 起源的核心演算。 （英语） Zbl 1353.68027号 Degano，Pierpaolo（编辑）等人，《安全与信任原则》。2012年3月24日至4月1日，作为欧洲软件理论与实践联席会议的一部分，在爱沙尼亚塔林举行了2012年欧洲软件理论与实践联席会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28640-7/pbk）。计算机科学课堂讲稿7215，410-429（2012）。MSC公司：68甲15 68号30 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{U.A.Acar}等人，Lect。票据计算。科学。7215，410-429（2012；Zbl 1353.68027） 全文： 内政部 arXiv公司
詹姆斯·切尼;阿马尔·艾哈迈德;阿卡尔（Umut A.Acar）。 来源作为依赖性分析。 （英语） Zbl 1252.68076号 数学。结构。计算。科学。 21，第6期，1301-1337（2011）.MSC公司：68号30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Cheney}等人，数学。结构。计算。科学。21，第6号，1301--1337（2011；Zbl 1252.68076） 全文： 内政部