弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯·汉金 程序分析原则。更正第二次打印。 （英语） Zbl 1069.68534号 柏林：施普林格出版社（ISBN 3-540-65410-0/hbk）。第二十二章，第452页。(2005). 见第一版（1999）的评论Zbl 0932.68013号. 引用于1审查引用于22文件 MSC公司： 68号01 软件理论的一般主题 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 引文：Zbl 0932.68013号 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人，《程序分析原理》。Corr.第二次印刷。柏林：施普林格出版社（2005；Zbl 1069.68534）