克里斯蒂安·哈克；阿兰·杰弗里 与图案匹配的细颗粒。 （英语） Zbl 1110.68038号 Inf.计算。 204，第8期，1195-1263（2006）.MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Haack}和\textit{A.Jeffrey}，Inf.Compute。204，第8号，1195--1263（2006；Zbl 1110.68038） 全文： 内政部
阿兰·杰弗里；朱利安·拉特克 完全抽象可以测试并发对象的语义。 （英语） Zbl 1078.68107号 西奥。计算。科学。 338，编号1-3，17-63（2005）. 审核人：Krassimir Atanassov（索非亚） MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey}和\textit{J.Rathke}，Theor。计算。科学。338，第1-3、17-63号（2005年；兹bl 1078.68107） 全文： 内政部
阿兰·杰弗里；朱利安·拉特克 对具有本地名称的并发ML片段进行互模拟的理论。 （英语） Zbl 1105.68354号 西奥。计算。科学。 323，编号1-3，1-48（2004）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey}和\textit{J.Rathke}，Theor。计算。科学。323，编号1--3，1--48（2004；Zbl 1105.68354） 全文： 内政部
安德鲁·戈登。；阿兰·杰弗里 键入通信协议的通信断言。 （英语） Zbl 1023.68006号 西奥。计算。科学。 300，编号1-3，379-409（2003）.MSC公司：68个M12 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}和\textit{A.Jeffrey}，Theor。计算。科学。300，编号1--3379--409（2003；Zbl 1023.68006） 全文： 内政部
安德鲁·戈登。；阿兰·杰弗里 键入通信协议的通信断言。 （英语） Zbl 1260.94063号 Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，119-140（2001）。MSC公司：94A62型 94A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}和\textit{A.Jeffrey}，电子。注释Theor。计算。科学。45、119——140（2001年；Zbl 1260.94063） 全文： 内政部