A Study of Semantics for CRDT-based Collaborative Spreadsheets. - Elena Yanakieva; Philipp Bird; Annette Bieniusa (PaPoC@EuroSys, 2023)