Visibility reasoning for concurrent snapshot algorithms | Publicación