@article{Porre25,
  title      = {Concurrency Contracts for Designing Highly Available Replicated Data Types},
  volume     = {55},
  ISSN       = {1097-024X},
  DOI        = {10.1002/spe.3430},
  number     = {9},
  journal    = {Software: Practice and Experience},
  publisher  = {Wiley},
  author     = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa},
  year       = {2025},
  month      = May,
  pages      = {1489–1505},
}