Deriving operation contracts from UML class diagrams | Publicación