Elsevier
Electronic Notes in Theoretical Computer Science
International Workshop on Automated Verification of Critical Systems
Software Analysis and Transformation

Fokkink, W.& Pang, J. (2005). Simplifying Itai-Rodeh leader election for anonymous rings. Electronic Notes in Theoretical Computer Science, 128(6), 53–68.