Yes, it's here: https://github.com/google/ot-crdt-papers