" Distributed computing through combinatorial topology " Maurice Herlihy, Dmitry Kozlov, Sergio Rajsbaum