Comment by NSMeta

There's a link to his paper:

http://research.microsoft.com/en-us/um/people/lamport/pubs/p...