Solved problems, unsolved problems and non-problems in concurrency (1985)

by L Lamport
Venue:SIGOPS) Operating Systems Review