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:/...

Some of them even have some basic background information if you click the link (e.g. Arbiter-Free Synchronization).