History of Ceylon (Ceylon University Press, 1960)