Time, Clocks and the Ordering of Events in a Distributed System (seminal paper which won various awards): http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
That link actually takes you to a complete list of Lamport's works.
* The stable marriage problem (D. Gale and L. S. Shapley: "College Admissions and the Stability of Marriage", American Mathematical Monthly 69, 9-14, 1962.), http://en.wikipedia.org/wiki/Stable_marriage_problem
* Knuth's Dancing Links algorithm http://www-cs-faculty.stanford.edu/~uno/papers/dancing-color...
link: http://www.ece.ucsb.edu/Faculty/Rabiner/ece259/Reprints/tuto...
I'll also add "Design and Implementation of the Sun Network Filesystem" (by Sandberg et al.) - fantastic read.
The first link is the paper which constituted the proof of the theorem, the other two provide more context and background.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.20.... http://en.wikipedia.org/wiki/CAP_theorem http://www.julianbrowne.com/article/viewer/brewers-cap-theor...
Paper and Journal article list is here: http://en.wikipedia.org/wiki/Information_theory
Its one of the most important theories of the modern science age of the 19th/20th century