I just stumbled upon Leslie Lamport's website, which has electronic copies of most of his published work.
I've studied some of Lamport's work in the past (mainly in regards to Lamport Logical Clocks & totally ordered multicasting, etc) and was recently doing some digging to find out how & why he created the LaTeX extensions to TeX.