Nederlandse zeemacht in de Kraalzee / samengest. door de zorg van Bureau Maritieme Historie ; [hoofd: J.F. van Dulm]