Luka Šilovinac (2016) Counting events with distributed data types to achieve strong eventual consistency. EngD thesis.