Dutch Asiatic shipping in the 17th and 18th centuries
Rijks geschiedkundige publicatiën : grote serie ;