A formal approach for generating oo specifications from natural language | Publicación