Trees and Turtles: Modular Abstractions for State Machine Replication Protocols. - Natalie Neamtu; Haobin Ni; Robbert van Renesse (PaPoC@EuroSys, 2023)