让·雷蒙德·阿布里亚尔 B（^{#}）：朝向Z和B之间的合成。 （英语） Zbl 1028.68534号 Bert，Didier（ed.）等人，ZB 2003:Z和B中的正式规范和开发。第三届B和Z用户国际会议，芬兰图尔库，2003年6月4-6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2651, 168-177 (2003). 小结：在本文中，我提出了实现一个名为B（^{#}）的新项目的一些想法和原则。这个项目遵循了B中已有的主要思想和原则，但也遵循了Z中开发的一些较旧的概念。在B中，其目的是要有一个正式的系统，用于对一般的复杂系统进行建模，而不仅仅是软件系统。关于整个系列，请参见[1020.00016兹罗提]. 引用于7文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） PDF格式BibTeX公司 XML格式引用 \textit{J.-R.Abrial}，莱克特。注释计算。科学。2651168--177（2003年；Zbl 1028.68534） 全文： 链接