谢尔盖·戈拉奇（编辑）；马可·丹拉托托（编辑） 网格计算的综合研究。 （英语） Zbl 1116.68012号 纽约州纽约市：施普林格出版社（ISBN 0-387-47656-3/hbk）。十八、285页。(2007). 审核人：都铎·巴勒内斯库（皮特斯蒂） MSC公司：68M10个 68甲19 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Gorlatsch}（编辑）和\textit{M.Danalpto}（主编），网格计算的综合研究。纽约州纽约市：施普林格（2007；Zbl 1116.68012） 全文： 内政部
比约纳，迪内斯 [Christian Krog，马德森] 软件工程2。系统和语言规范。Christian Krog Madsen的贡献。 （英语） Zbl 1095.68021号 理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 3-540-21150-0/hbk）。第二十四、777页。(2006). 审核人：都铎·巴勒内斯库（皮特斯蒂） MSC公司：68号30 68甲15 68N20型 68问题65 65年第68季度 68问题85 68-01 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}，软件工程2。系统和语言规范。Christian Krog Madsen的贡献。柏林：施普林格出版社（2005；Zbl 1095.68021） 全文： 内政部
乔泽夫·温科夫斯基 系统行为的代数描述。 （英语） Zbl 0508.68038号 Pr.Inst.Podstaw Inf.Pol.公司。阿卡德。Nauk 471，52 p.（1982）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式
罗宾·米尔纳 通信系统的微积分。 （英语） Zbl 0452.68027号 计算机科学课堂讲稿, 92. 柏林-海德堡-纽约：斯普林格-弗拉格。六、 171 p.21.50马克；$12.70 (1980).MSC公司：68N25号 68-02 PDF格式BibTeX公司 XML格式