Tounsi, Mohamed, et al. “Proving Distributed Algorithms by Combining Refinement and Local Computations”. Electronic Communications of the EASST, vol. 35, Aug. 2011, doi:10.14279/tuj.eceasst.35.442.