王迪;简·霍夫曼;代表，托马斯 具有不确定性的低级概率程序的指称语义。 （英语） Zbl 07515966号 König，Barbara（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4日至7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。347, 303-324 (2019).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}等人，Electron。注释Theor。计算。科学。347303--324（2019年；Zbl 07515966） 全文： 内政部
哈，迈克尔 概率计算树逻辑的有限状态逼近。 （英语） Zbl 1080.68064号 西奥。计算。科学。 346，第1期，113-134（2005）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.Huth}，Theor。计算。科学。346，编号1，113--134（2005；Zbl 1080.68064） 全文： 内政部