Titik kontrol gravitasi di Jakarta, Bogor dan Puncak = Gravity base station for Jakarta, Bogor, and Puncak - Saleh, Effendi (Departemen Perhubungan, Badan Meteorologi dan Geofisika, 1984)