安娜贝拉·麦克维尔;卡罗尔·摩根;塔希里·拉贝哈加 抽象隐马尔可夫模型：定量信息流的一元描述。 （英语） Zbl 1423.68107号 日志。方法计算。科学。 15，第1号，第36号论文，50页（2019年）.MSC公司：68纳米30 60J20型 68页30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人，日志。方法计算。科学。15，第1号，第36号论文，50页（2019年；Zbl 1423.68107） 全文： 内政部 arXiv公司
卢卡·卡德利;Larsen，Kim G。;拉杜·马达尔 模块化马尔科夫逻辑。 （英语） Zbl 1333.68200号 Aceto，Luca（编辑）等人，自动机，语言和编程。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756380-391（2011）。MSC公司：87年第68季度 03B70号 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。6756380-391（2011年；兹比尔1333.68200） 全文： 内政部