Partial List of Papers for EE 382N in addition to the Text

Note: Lamport's papers are available here