I have found other good articles on the same topic, by Hillel Wayne author of Practical TLA+ Uncle Bob is ruining software - https://hillelwayne.com/post/10x/

I have found other good articles on the same topic, by Hillel Wayne author of Practical TLA+ Uncle Bob is ruining software - https://hillelwayne.com/post/10x/ https://hillelwayne.com/post/10x/ Uncle Bob and Silver Bullets - https://hillelwayne.com/post/uncle-bob/ https://hillelwayne.com/post/uncle-bob/