Hrvatska enciklopedija (2013–)
Veliki Varadin → oradea ...

Hrvatski opći leksikon (2012)
Veliki Varadin → Oradea ...

Hrvatski obiteljski leksikon (2005)
Veliki Varadin, hrvatski naziv za rumunjski grad Oradea. ...