Catalogus van de historische collectie in de bibliotheek van het Koninklijk Instituut voor de marine / door J. Arendsen
