Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard. An Automation-Friendly Set Theory for the B Method.
ABZ: Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.409-414,
⟨10.1007/978-3-319-91271-4_32⟩.
⟨hal-02082755⟩