Synthesis of Logic Programs from Object-Oriented Formal Specifications | Publicación