Leslie Lamport. Distributed algorithms in TLA (abstract). In Gil Neiger, editor, Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA. pages 3, ACM, 2000. [doi]
Abstract is missing.