1. Heba Alkayed, Horatiu Cirstea, and Stephan Merz. 2020. An Extension of PlusCal for Modeling Distributed Algorithms. In TLA+ Community Event 2020.
2. Erlang
3. Yves Bertot and Pierre Castéran. 2013. Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions. Springer Science & Business Media.
4. Christian Cachin, Rachid Guerraoui, and Luís Rodrigues. 2011. Introduction to Reliable and Secure Distributed Programming (second edition. ed.). Springer Nature, Berlin, Heidelberg. isbn:3642152600
5. Brian F Cooper. 2019. Yahoo! Cloud Serving Benchmark. https://github.com/brianfrankcooper/YCSB (last accessed on 2024-05-15)