理查德·基伯茨。 程序验证的编程策略。 (英语) Zbl 1277.68057号 Antoy,Sergio(编辑),第六届改写和编程简化策略国际研讨会论文集(WRS 2006),西雅图,华盛顿州,美国,2006年8月11日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第10期,3-38页(2007年)。MSC公司:68号30 68甲18 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Kieburtz},电子。注释Theor。计算。科学。174,第10号,第3--38号(2007;Zbl 1277.68057) 全文: 内政部
克里斯托夫·克里茨 使用Nuprl proof开发系统构建可靠、高性能的网络。 (英语) Zbl 1083.68010号 J.功能。程序。 14,第1期,21-68页(2004年).MSC公司:68平方米 68甲18 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Kreitz},J.Funct。程序。14,第1号,第21--68号(2004;Zbl 1083.68010) 全文: 内政部