Any of Lamport's papers are classics and great reading for understanding distributed computing!