TLA+ Spec of a simplified part of MongoDB replication systemgithub.com/visualzhou3 pointspron9 years ago