Catalogus der bibliotheek van het Koninklijk Instituut voor de Marine te Willemsoord / [samengest. door A. Slingervoet Ramondt] Catalogus van de F.M. van Hall bibliotheek / [A. Slingervoet Ramondt] Catalogus van de historische collectie in de bibliotheek van het Koninklijk Instituut voor de marine / door J. Arendsen
