Istarska enciklopedija (2005)
Arenaturist d. d. Pula, hotelsko-turist. tvrtka, nastala 1974. udruživanjem tadanjih pulskih poduzeća ...