Leslie Lamport
发表
Leslie Lamport,
L. Lamport,
Leslie Lamport,
1986,
Distributed Computing.
Leslie Lamport,
Lawrence C. Paulson,
Lawrence Charles Paulson,
1999,
TOPL.