您即将离开知乎，请注意您的帐号和财产安全。
http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf
