Nusa Tenggara : (Bali)
Djakarta : Djawatan Topografi A.D.,
1955-58.
Graphic index in central file.