# TLA+

## Books

* [Practical TLA+: Planning Driven Development by Hillel Wayne](https://www.goodreads.com/book/show/42389860-practical-tla)

## Links

* [Using formal methods at Amazon](https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf)