Java, geographisch, ethnologisch, historisch : Ethnographie / P.J. Veth Nederlandse zeemacht in de Kraalzee / samengest. door de zorg van Bureau Maritieme Historie ; [hoofd: J.F. van Dulm]
