80/1442 [Atlases]. Diessen, J.R. van and Ormeling, F.J. Grote Atlas van Nederlands Oost-Indië. Comprehensive Atlas of the Netherlands East Indies. Zierikzee/ Utr., Asia Maior/ KNAG, 2003, 456p., (fold.) (col.) maps., orig. cl. w. dustwr., slipcase, folio (fine).