Isabelle Coget, Étienne Lozes: HistMSO: a Logic for Reasoning About Consistency Models with MONA. COORDINATION 2026: 26-46