Istarska enciklopedija (2005)
Pomorski arsenal u Puli (njem. See-Arsenal, K. u. K. Kriegsmarine See-Arsenal), pom. arsenal austroug. ...