The correctness of event-B inductive convergence. - Hallerstede, Stefan (Science of Computer Programming, 2016)