John Havlicek A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes. 1215-1222 2004 33 SIAM J. Comput. 5 http://dx.doi.org/10.1137/S0097539798337224 db/journals/siamcomp/siamcomp33.html#Havlicek04