跳到内容
Author
Leslie Lamport w/ updates
License
Other (as stated in the work)
Abstract