Xavier Défago Causal Order, Logical Clocks, State Machine Replication. 283-286 2016 Encyclopedia of Algorithms https://doi.org/10.1007/978-1-4939-2864-4_65 db/reference/algo/algo2016.html#Defago16a