- Specification's authors: Giuliano Losa
- Original paper: Peluso, Sebastiano, et al. Making fast consensus generally faster. Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on. IEEE, 2016.
- Extended modules: Int, Seq, FinSet
- Computation models: clean crashes
- Some properties checked with TLC: correctness
- TLA+ files