An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. - Sebastian Pedersen; Hein Meling; Leander Jehl (ApPLIED@PODC, 2018)