The algorithm is described and modelled in [1] and [2].
- J.-R. Abrial, Modeling in Event-B: System and Software Engineering, Cambridge University Press, 2010.
- M. Dalvandi, M. Butler, A. Rezazadeh, Derivation of algorithmic control structures in Event-B refinement, Journal of Science of Computer Programming, Volume 148, 2017, Pages 49-65, ISSN 0167-6423,