FGGC and paxos-made-simple references