Formal Verification of Skiplists with Arbitrary Many Levels | Publicación