zeyneb Houari, 13 Dec 2018 B 2007: Formal Specification and Development in B https://books.google.com/books/about/B_2007_Formal_Specification_and_Developm.h…
Andrea Picková, 07 Aug 2016 B 2007: Formal Specification and Development in B https://books.google.cz/books/about/B_2007_Formal_Specification_and_Developm.ht…