杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 上下文软件计数器抽象。 （英语） Zbl 1213.68362号 形式方法系统。设计。 36，第3期，223-245（2010年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Basler}等人，《形式方法系统》。设计。36，第3号，223--245（2010；Zbl 1213.68362） 全文： 内政部 链接
赫尔穆特·塞德尔;沃伊达尼，维萨尔 用于种族检测的区域分析。 （英语） Zbl 1248.68152号 Palsberg，Jens（编辑）等人，《静态分析》。2009年8月9日至11日，第16届国际研讨会，SAS 2009，美国加利福尼亚州洛杉矶。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03236-3/pbk）。计算机科学讲座笔记5673171-187（2009）。MSC公司：68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{V.Vojdani}，莱克特。票据计算。科学。5673、171--187（2009年；Zbl 1248.68152） 全文： 内政部