Comment Comment by closeparen Can anyone who's read this comment on how useful it is for learning the concepts themselves vs. historical context and Lamport's biography? parent closeparen 6 years ago