奥尔纳·格隆伯格;马丁·兰格;马丁·勒克;沙龙·肖姆 不输胜于赢：完整微积分的抽象和精化。 （英语） Zbl 1306.68100号 Inf.计算。 205，第8期，1130-1148（2007）.MSC公司：60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛O.Grumberg｝等人，信息计算。205，第8号，1130--1148（2007；Zbl 1306.68100） 全文： 内政部
奥尔纳·格隆伯格;马丁·兰格;马丁·勒克;沙龙·肖姆 在\（\mu\）-演算中不知道。 （英语） Zbl 1112.68090号 Cousot，Radhia（编辑），验证，模型检查和抽象解释。第六届国际会议，VMCAI 2005，巴黎，法国，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学讲座笔记3385，233-249（2005）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人，Lect。注释计算。科学。3385233-249（2005；Zbl 1112.68090） 全文： 内政部