A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes | Publicación