Mining development in Asia and the Far East (1953/54-1968: Mineral resources development series)