阿德里亚·加斯科恩;吉列姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 与一个上下文变量的上下文统一。 （英语） Zbl 1192.68431号 J.塞姆。计算。 45，第2期，173-193（2010）.MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人，J.Symb。计算。45，第2号，173--193（2010；Zbl 1192.68431） 全文： 内政部 链接
吉列姆·戈多伊;蒂瓦里，阿什 用过程调用检查程序的不变量。 （英语） Zbl 1248.68143号 Palsberg，Jens（编辑）等人，《静态分析》。2009年8月9日至11日，第16届国际研讨会，SAS 2009，美国加利福尼亚州洛杉矶。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03236-3/pbk）。计算机科学讲座笔记5673326-342（2009）。MSC公司：68纳米30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Godoy}和\textit{A.Tiwari}，莱克特。注释计算。科学。5673、326--342（2009年；Zbl 1248.68143） 全文： 内政部
阿德里亚·加斯科恩;吉列姆·戈多伊;曼弗雷德·施密特·沙乌 与单例树语法的统一。 （英语） Zbl 1242.68132号 Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595365-379（2009）。MSC公司：2012年第68季度 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人，Lect。注释计算。科学。5595365-379（2009年；Zbl 1242.68132） 全文： 内政部