Proving highly-concurrent traversals correct | Publicación