吉姆·戴维斯；查尔斯·克莱顿 统一建模语言中的并发性和精细化。 （英语） Zbl 1093.68598号 正式Asp。计算。 15，编号2-3，118-145（2003）.MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Davies}和\textit{C.Crichton}，正式Asp。计算。15，编号2--3，118--145（2003；Zbl 1093.68598） 全文： 内政部
安德鲁·辛普森；吉姆·戴维斯；吉姆·伍德科克 通过\（Z\）和CSP进行安全管理。 （英语） Zbl 0924.68139号 吉姆·格兰迪（编辑）等人，《国际精炼研讨会和正式方法太平洋1998》。IRW/FMP’98会议记录。澳大利亚堪培拉，1998年9月29日至10月2日。柏林：斯普林格。离散数学和理论计算机科学的Springer系列。334-351 (1998).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Simpson}等人，in：国际精炼研讨会和正式方法太平洋1998。98年IRW/FMP会议记录。澳大利亚堪培拉，1998年9月29日至10月2日。柏林：斯普林格。334--351（1998年；Zbl 0924.68139）
安德鲁·辛普森；吉姆·伍德科克；吉姆·戴维斯 固态联锁地理数据的机械验证。 （英语） Zbl 0885.68152号 Groves，Lindsay（编辑）等人，《形式方法太平洋》，1997年。1997年7月9日至11日，新西兰惠灵顿，FMP’97会议记录。新加坡：斯普林格。223-242 (1997).MSC公司：68单位99 PDF格式BibTeX公司 XML格式引用 \textit{A.Simpson}等人，in：形式方法太平洋'97。1997年7月9日至11日，新西兰惠灵顿，FMP’97会议记录。新加坡：斯普林格。223--242（1997；Zbl 0885.68152）
吉姆·戴维斯；史蒂夫·施耐德 实时过程的递归归纳。 （英语） Zbl 0806.68073号 正式Asp。计算。 5，第6号，530-553（1993）.MSC公司：68问题55 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{J.Davies}和\textit{S.Schneider}，正式Asp。计算。5，第6号，530--553（1993；Zbl 0806.68073） 全文： 内政部