Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees | Publicación