There is another good interview: http://research.microsoft.com/en-us/um/people/lamport/pubs/d...