1. Chaudhuri, K., et al.: GitHub: the TLA$${}^{\text{+}}$$ proof manager. https://github.com/tlaplus/tlapm. Accessed December 2023
2. Lecture Notes in Computer Science;W Denman,2014
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);N Fulton,2015
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Gao,2013
5. Gunasekera, O.V.W.: GitHub: TLA$${}^{\text{+ }}$$ proof system with real arithmetic support. https://github.com/Ovini99/TLAPS_Real. Accessed December 2023