Implementation Correctness for Replicated Data Types, Categorically | Publicación