Voisin, Laurent  (2013) Mathematical Language of Event-B Proofs.  [Rodin Archive]