Singapore official guide. (Singapore Tourist Promotion Board, 1993)