卡罗尔·摩根（编辑）;特雷弗·维克斯（编辑） 关于精化演算。 （英语） Zbl 0818.68023号 计算和信息技术的形式化方法（FACIT）。柏林：施普林格出版社。xi，159页（1994）。 关于第二次印刷（1994年）的回顾，请参见Zbl 0808.68030号. 引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00年1月15日 杂项特定利益物品的收集 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：精化微积分;并联系统;无功系统;程序推导 引文：Zbl 0808.68030号 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}（编辑）和\textit{T.Vickers}（主编），关于精化演算。柏林：Springer-Verlag（1994；Zbl 0818.68023）