Stegodon timorensis: a pygmy species from Timor (Indonesia). Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen (B), 72 1969: 192-202. 192 [Zoological Record Volume 106]