The problem with embedded CRDT counters and a solution. - Carlos Baquero; Paulo Sérgio Almeida; Carl Lerche (PaPoC@EuroSys, 2016)