霍雷修·西尔斯泰;亚历克西斯·格雷尔;多米尼克·梅里 从事件B模型生成分布式程序。 （英语） Zbl 07453194号 Fribourg，Laurent（ed.）等人，第八次验证和程序转换国际研讨会和第七次验证和综合Horn条款研讨会论文集，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320、110-124（2020）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Cirstea}等人，《电子》。程序。西奥。计算。科学。（EPTCS）320、110--124（2020；Zbl 07453194） 全文： arXiv公司 链接
斯特凡·哈勒斯特德 就事件B证明义务而言。 （英语） Zbl 1214.68135号 正式Asp。计算。 23，第1期，133-150（2011）.MSC公司：68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Hallerstede}，正式Asp。计算。23，第1号，133--150（2011；Zbl 1214.68135） 全文： DOI程序 链接
Hoang，泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 在Event-B中开发拓扑发现。 （英语） Zbl 1192.68829号 科学。计算。程序。 74，编号11-12，879-899（2009）.MSC公司：68周05 68M10个 PDF格式BibTeX公司 XML格式引用 \textit｛T.S.Hoang｝等人，科学。计算。程序。74，编号11--12，879--899（2009；Zbl 1192.68829） 全文： DOI程序
Hoang，泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 在Event-B中开发拓扑发现。 （英语） 兹比尔1211.68028 Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423，1-19（2009）。MSC公司：64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人，Lect。注释计算。科学。5423，1-19（2009；Zbl 1211.68028） 全文： DOI程序 链接
斯特凡·哈勒斯特德 就事件B证明义务而言。 （英语） Zbl 1156.68348号 Börger，Egon（编辑）等人，抽象状态机，B和Z。第一届国际会议，ABZ 2008，英国伦敦，2008年9月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87602-1/pbk）。计算机科学课堂讲稿5238，125-138（2008）。MSC公司：68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Hallerstede}，莱克特。注释计算。科学。5238、125--138（2008年；Zbl 1156.68348） 全文： DOI程序 链接
多米尼克·坎塞尔;多米尼克·梅里 分布式算法的形式化和增量构造：关于分布式引用计数算法。 （英语） Zbl 1153.68560号 西奥。计算。科学。 364，编号3，318-337（2006）.MSC公司：68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cansell}和\textit{D.Méry}，Theor。计算。科学。364，第3号，318--337（2006；Zbl 1153.68560） 全文： DOI程序