《通过算法实现分布式系统》第二版(英文pdf),CRCPress,2015。