Title: The Singapore petroleum industry, December 1987