- [ ] [Use of Formal Methods at Amazon Web Services](https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf) - [ ] [How Amazon Web Services Uses Formal Methods](https://www.cslab.pepperdine.edu/warford/math221/How-Amazon-Web-Services-Uses-Formal-Methods.pdf) - [ ] [Formal Methods: Practice and Experience](https://www-users.cs.york.ac.uk/~jw524/papers/WoodcockLBF09.pdf) - [ ] [Formal specifications for protocols: Issues and experiences](https://pdfs.semanticscholar.org/1d40/354d5866640d58a9f0f3d6a35b616bd23d93.pdf) - [ ] [Maude](http://maude.cs.illinois.edu/w/images/e/e0/Maude-2.7.1-manual.pdf)
