Dutch merchants and mariners in Asia, 1602 - 1795 - Boxer, Charles R. 1904-2000 (Variorum reprints, 1998)