If you want to be one of the few:
http://research.microsoft.com/en-us/um/people/lamport/pubs/t...
http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
https://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf
If you want to be one of the few:
http://research.microsoft.com/en-us/um/people/lamport/pubs/t...