Leslie Lamport
Communications of the ACM
Towards affordable externally consistent guarantees for geo-replicated systems
Determining the last process to fail