An Assertional Proof of Red–Black Trees Using Dafny | Publicación