A Framework for Proving Contract-Equipped Classes | Publicación