Singapore marine industries directory (Association of Singapore Marine Industries, 1989)