A history of modern Malaysia and Singapore / K.G. Tregonning