On the formal specification of group membership services (1995)

by E Anceaume, B Charron-Bost, P Minet, S Toueg