Istria (Pula, Rovinj, Porec and Rabac): fuentes de la guía de buceo