Oil and gas exploration and development in Taiwan in commemoration of the tenth anniversary of the Chinese Petroleum Institute (Taiwan Petroleum Exploration Division, Chinese Petroleum Corp., 1972)