A formal approach to nominalization of predicates | Publicación