Yann Zimmermann, Diana Toma. Component Reuse in B Using ACL2.
ZB Formal Specification and Development in Z and B - 4th International Conference of B and Z Users - ZB 2005, Apr 2005, University of Surrey, Guildford, UK, pp.280-299,
⟨10.1007/b135596⟩.
⟨inria-00000755⟩