Exception handling in replicated systems with voting - Mancini, Luigi V.; Shrivastava, Santosh K. (Computing Laboratory <Newcastle-upon-Tyne>: Technical report series, 1986)