Deducing Operation Commutativity from Replicated Data Declaration - Fragoso, André Gonçalves (2019)