TLA+ Specification of Variants of Causal Consistency
Please check our paper Checking Causal Consistency of MongoDB @ JCST2022 for more information.