The rehabilitation of garut finishing mill (United Nations Industrial Development Organization. Technical report :, 1972)