Barreto Feio, Jose Victorino, editor, 17827-1850. See Vicente, G. Obras.