Tounsi, M., Mosbah, M., & Méry, D. (2011). Proving Distributed Algorithms by Combining Refinement and Local Computations. Electronic Communications of the EASST, 35. https://doi.org/10.14279/tuj.eceasst.35.442