Approximate retrieval of incomplete and formal specifications applied to vertical reuse | Publicación