Group membership protocol: Specification and verification (1994)

by Yuri Gurevich, Raghu Mani
Venue:Specification and Validation Methods