Hrvatska enciklopedija (2013–)
Rodrigues (engl. izgovor [rəudrigis]), brdovit otok u skupini Maskarena u Indijskom oceanu, Mauricijus; ...

Hrvatski opći leksikon (2012)
Rodrigues [rəudrigis], otok u skupini Maskarenima u Indijskom oceanu, Mauricijus; 104 km2, 35 779 st. ...

Hrvatski obiteljski leksikon (2005)
Rodrigues (Diego Rodriguez), otok u skupini Maskarena, Indijski ocean ...