戴维·莫尼奥 概率程序分析的抽象蒙特卡罗方法。 （英语） 兹比尔1323.68219 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。93-101 (2001).MSC公司：68号30 68问题55 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17-19日。纽约州纽约市：计算机协会（ACM）。93——101（2001；Zbl 1323.68219） 全文： 内政部 哈尔
戴维·莫尼奥 对程序的概率终止的抽象分析。 （英语） Zbl 0997.68515号 Patrick Cousot（编辑），静态分析。第八届国际研讨会，2001年7月16日至18日，法国巴黎，SAS 2001。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2126, 111-126 (2001).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux}，莱克特。注释计算。科学。2126111--126（2001年；Zbl 0997.68515） 全文： 链接
戴维·莫尼奥 概率程序的向后抽象解释。 （英语） Zbl 0977.68550号 David Sands（编辑），《编程语言和系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会（ESOP 2001），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2028, 367-382 (2001).MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux}，莱克特。注释计算。科学。2028367-382（2001年；兹bl 0977.68550） 全文： 链接