- Specification's authors: Thanh Hai Tran, Igor Konnov, Josef Widder
- Original paper: D. Dobre and Neeraj Suri, One-step Consensus with Zero-Degradation, International Conference on Dependable Systems and Networks (DSN'06), Philadelphia, PA, 2006, pp. 137-146.
- Extended modules: Nat
- Computation models: clean crashes
- Some properties checked with TLC: OneStep0, OneStep1