佩德森，Jan B。;彼得·H·韦尔奇。 并发和验证的共生：教学和案例研究。 （英语） Zbl 1382.68144号 正式Asp。计算。 30，第2期，239-277（2018）.MSC公司：60年第68季度 第68季度85 97页20 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Pedersen}和\textit{P.H.Welch}，正式Asp。计算。30，第2号，239--277（2018；Zbl 1382.68144） 全文： 内政部
巴斯蒂安·海仁;约翰·杰林 交叉战略。 （英语） Zbl 1335.68290号 Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。《人工智能课堂讲稿》，196-211（2011）。MSC公司：68单位35 97单位50 PDF格式BibTeX公司 XML格式引用 \textit｛B.Heeren｝和\textit｛J.Jeuring｝，Lect。注释计算。科学。6824、196--211（2011；Zbl 1335.68290） 全文： 内政部
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯 向新生教授并发概念。 （英语） Zbl 1171.68571号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理I.柏林：施普林格》（ISBN 978-3-540-89286-1/pbk）。计算机科学讲义5100。《期刊副刊》，35-53（2008）。MSC公司：第68季度85 97U30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}和\textit{H.Hermanns}，莱克特。注释计算。科学。5100、35-53（2008年；Zbl 1171.68571） 全文： 内政部