Gazetteer. 10. Malaysia, Singapore, and Brunei, official standard names approved by United states Board on Geographic Names; prepared in Geographic Names Division, U.S. Army Topographic Command. 2d edition.