Software Quality Through Formal OO Specification | Publicación