Mathematical Purity in Distributed Systems: CRDTs Without Fear
codedependents.com