I would too, though I should point out that I think all of Lamport's papers and books are free on his website: http://lamport.azurewebsites.net/pubs/pubs.html?f

I would too, though I should point out that I think all of Lamport's papers and books are free on his website: http://lamport.azurewebsites.net/pubs/pubs.html?from=https://research.microsoft.com/users/lamport/pubs/pubs.html&type=path http://lamport.azurewebsites.net/pubs/pubs.html?from=https:/... Some of them even have some basic background information if you click the link (e.g. Arbiter-Free Synchronization).