Fixing a MongoDB Replication Protocol Bug with TLA+ (2019) [pdf]tla.msr-inria.inria.fr2 pointseatonphil4 years ago