¿Cómo editar textos impresos?: Notas y comentarios para un manual | Publicación