1. Distributed Systems, Methods and Tools for Specification;Alford,1985
2. Reliable Communication in the Presence of Failures;Birman;ACM Transactions on Computer Systems,1987
3. Agreeing on who is present and who is absent in a synchronous distributed system;Christian,1988
4. Synchronous Atomic Broadcast for Redundant Broadcast Channels;Christian,1990