OO and Active Formal Information System Specification | Publicación