An Automation-Friendly Set Theory for the B Method. - Guillaume Bury; Simon Cruanes; David Delahaye; Pierre-Louis Euvrard (ABZ, 2018)