@Article{PZ86,
author={A. Pnueli and L. Zuck},
title={Verification of Multiprocess Probabilistic Protocols},
journal={Distributed Computing},
year={1986},

volume={1},
number={1},
pages={53--72},
month={},
note={},
key={}
}