[cmeiklejohn]

The reference is here:

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

[cemerick]

Dammit, thank you. I've even read that exact message before. :-/ Post updated!