丹尼尔·克罗布 复杂软件系统的建模：一个合理的概述。 （英语） Zbl 1225.68080号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿42291-22（2006）。理学硕士：68N99型 68层35 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Krob}，莱克特。注释计算。科学。4229，1--22（2006；Zbl 1225.68080） 全文： 内政部
安东尼奥（G.Antoniou）。;麦克尼什，C.K。 非单调知识库的保守可拓概念。 （英语） Zbl 0957.68109号 《国际情报杂志》。系统。 15，第9号，859-877（2000）.理学硕士：68层35 PDF格式BibTeX公司 XML格式引用 \textit{G.Antoniou}和\textit{C.K.MacNish}，国际期刊Intell。系统。15，编号9，859-877（2000年；兹bl 0957.68109） 全文： 内政部
布莱恩·托德。;理查德·斯坦普 一种正式的解释模型。 （英语） Zbl 0835.68079号 正式Asp。计算。 7，第2期，207-225（1995）.理学硕士：60年第68季度 68层35 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Todd}和\textit{R.Stamper}，正式Asp。计算。7，第2号，207--225（1995；Zbl 0835.68079） 全文： 内政部