理查德·伯德 函数算法设计的珍珠。 （英语） Zbl 1229.68026号 剑桥：剑桥大学出版社（ISBN 978-0-521-51338-8/hbk；978-0-511-79588-6/电子书）。xii，第277页。(2010). 审核人：哈伊姆·基洛夫（米林顿） MSC公司：68甲18 68-02 68纳米30 68瓦40 68周05 PDF格式BibTeX公司 XML格式引用 \textit{R.Bird}，函数算法设计的珍珠。剑桥：剑桥大学出版社（2010；Zbl 1229.68026）
卡罗尔·摩根（编辑）;特雷弗·维克斯（编辑） 关于精化演算。 （英语） Zbl 0818.68023号 计算与信息技术的形式化方法（FACIT）。柏林：Springer-Verlag。xi，159页（1994）。MSC公司：68-06 00B15号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}（编辑）和\textit{T.Vickers}（主编），关于精化演算。柏林：Springer-Verlag（1994；Zbl 0818.68023）
莫勒，B。（编辑） 根据规范构建程序。1991年5月13日至16日，美国加利福尼亚州太平洋格罗夫，IFIP TC2/WG 2.1工作会议记录。 （英语） Zbl 0744.68025号 阿姆斯特丹等地：荷兰北部。X、 515页（1991年）。 审核人：S.Miura（冈崎/爱知） MSC公司：68-06 60年第68季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}（编辑），根据规范构建程序。1991年5月13日至16日，美国加利福尼亚州太平洋格罗夫，IFIP TC2/WG 2.1工作会议记录。阿姆斯特丹等：北荷兰（1991；Zbl 0744.68025）
卡罗尔·摩根 根据规范进行编程。 （英语） Zbl 0697.68018号 计算机科学国际丛书。纽约等地：普伦蒂斯·霍尔。十一、 第255页（1990年）。 审核人：G.格里加斯 MSC公司：68号01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}，规范编程。纽约等：普伦蒂斯·霍尔（1990；Zbl 0697.68018）
Edsger W.Dijkstra。（编辑） 程序和证明的正式开发。 （英语） Zbl 0734.68063号 雷丁，文学硕士等：Addison-Wesley出版公司。十四、 第242页（1990年）。MSC公司：60年第68季度 68-06 68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Dijkstra}（编辑），程序和证明的形式化开发。雷丁，马萨诸塞州等：Addison-Wesley出版公司（1990；Zbl 0734.68063）
R.Geoff，Dromey 程序派生。根据规范开发程序。 （英语） Zbl 0781.68084号 波恩等：Addison-Wesley出版公司。十六、 第630页（1989年）。 审核人：H.Zeitler（慕尼黑） MSC公司：60年第68季度 68-01 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Dromey}，程序推导。根据规范开发程序。波恩等：Addison-Wesley出版公司（1989；Zbl 0781.68084）
范·加斯特伦（Antonetta Johanna Maria） 关于数学论点的形状。 （英语） Zbl 0672.03041号 埃因霍温（荷兰）：埃因霍芬技术大学，论文。ii，183页（1988年）。 审核人：G.泽特林 MSC公司：03F99型 03B35型 60年第68季度 03-02 68-02 68吨15 PDF格式BibTeX公司 XML格式