This is a great collection of papers, and I don't mean to downplay how happy I am to find it, but you might want to use a linking method that's more obvious, like having relevant text be blue and underlined. The principle of least surprise is important, usually more important than cleverness in design.

(Now I'm going to go off and read that Lamport paper.)

Can't find the link for "Organizing Programs Without Classes". The Oracle site says "click here to download", but there is nothing to click?

Great! Thank you so much.