My favourite is EWD1303: https://www.cs.tufts.edu/comp/150FP/archive/edsger-dijkstra/ewd1303.pdf https://www.cs.tufts.edu/comp/150FP/archive/edsger-dijkstra/...

My favourite is EWD1303: https://www.cs.tufts.edu/comp/150FP/archive/edsger-dijkstra/ewd1303.pdf https://www.cs.tufts.edu/comp/150FP/archive/edsger-dijkstra/... It is Dijkstra's recounting of Operating System design with the notion of the first concurrent computer and interrupt.