雅克·勒克斯;库尔特·西伯 [瑞安·斯坦西弗（Ryan D.Stansifer）。] 程序验证的基础。在collab。与Ryan D.Stansifer合作。第2版。ii、。 （英语） Zbl 0625.68017号 Wiley-Teubner计算机科学系列。斯图加特：B.G.Teubner；奇切斯特等：John Wiley&Sons。九、 230页。；58.00德国马克（1987年）。 审核人：H.Müller先生 MSC公司：60年第68季度 68-01 05年3月 PDF格式BibTeX公司 XML格式
Nepomnyashchij，V.A。;沃罗布埃夫，S.G。;A.A.苏里莫夫。 面向问题的程序验证系统“SPEKTR”。 （英语。俄文原件） Zbl 0655.68019号 控制论 23，第6期，757-765（1987）；译自Kibernetika 1987，第6期，31-37（1987）。 审核人：H.Müller先生 MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}等人，《控制论》第23卷，第6期，第757--765页（1987年；Zbl 0655.68019）；翻译自Kibernetika 1987，第6期，第31-37期（1987年） 全文： 内政部
德巴克尔，J.W。;Klop，J.W。;梅耶，J.-J.Ch。 程序与功能程序的正确性。 （英语） Zbl 0463.68021号 数学。美分。，金额。，Afd.Inf.IW 170/81，18 p.（1981）。MSC公司：60年第68季度 68问题65 68瓦99 PDF格式BibTeX公司 XML格式