@inproceedings{Balegas15,
  title      = {Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants},
  DOI        = {10.1109/srds.2015.32},
  booktitle  = {2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS)},
  publisher  = {IEEE},
  author     = {Balegas, Valter and Serra, Diogo and Duarte, Sergio and Ferreira, Carla and Shapiro, Marc and Rodrigues, Rodrigo and Preguica, Nuno},
  year       = {2015},
  month      = Sept,
  pages      = {31–36},
}