The Mutual Exclusion Problem Has Been Solved [pdf] | Hacker News Reader