Michael Okun Amnon Barak Eli Gafni Renaming in synchronous message passing systems with Byzantine failures. 403-413 2008 20 Distributed Computing 6 http://dx.doi.org/10.1007/s00446-007-0045-x db/journals/dc/dc20.html#OkunBG08