https://identity.pub/2019/05/01/peg-game.html

https://pron.github.io/posts/tlaplus_part2

https://www.hillelwayne.com/post/adversaries/

https://www.reddit.com/r/tlaplus/comments/enencr/yet_another_example_that_tla_is_math_not/

https://muratbuffalo.blogspot.com/2021/02/foundational-distributed-systems-papers.html

http://muratbuffalo.blogspot.com/2022/06/consus-taming-paxi.html

https://a16zcrypto.com/measuring-snark-performance-frontends-backends-and-the-future/

https://lamport.azurewebsites.net/tla/byzpaxos.html

https://www.learntla.com/core/concurrency.html

https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext

https://medium.com/software-safety/using-tla-to-model-cascading-failures-5d1ebc5e4c4f

https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf