Polyakov, A., 		Nigodin, E., 		Polupanova, E., & 		Usov, P.
2022 Mar 31.  Verification of the Bully Election Algorithm for Distributed Systems Using TLA+ and PlusCal. Modern Information Technologies and IT-Education. [Online] 18:1