AUTHORS: Mention Paulo's contributions