So a bit of digging brought up this [1], which seems to be a list of all relevant papers.

It's annotated with short summaries and historical background by Leslie Lamport himself. Seems like a great starting point!

Still, I'd love to hear some specific recommendations for the topic you mentioned, it sounds super interesting.

[1] https://lamport.azurewebsites.net/pubs/pubs.html

[1] is a particular one regarding specification languages and types. its background description about a "rabidly pro-types" referee is quite interesting...

[1] http://lamport.azurewebsites.net/pubs/pubs.html#lamport-type...