500 jaar marine / onder red. van de Afdeling Maritieme Historie van de Marinestaf ; red. L.L.M. Eekhout, A.Th.I. Hazenoot, W.H. Lutgert Nederlandsche zeemacht in hare verschillende tijdperken geschetst / door J.J. Backer Dirks Nederlandse zeemacht in de Kraalzee / samengest. door de zorg van Bureau Maritieme Historie ; [hoofd: J.F. van Dulm]