@article{FP06,
author={W. Fokkink and J. Pang},
title={Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM},
journal={Journal of Universal Computer Science},
year={2006},

volume={12},
number={8},
pages={981--1006},
month={},
note={},
key={}
}