Krk e o Golfo de Kvarner: fontes do guia de mergulho