Estimates of the revenue and expenditure of the Government of Ceylon for the financial year, 1st October, 1957, to 30th September, 1958 (Government Publications Bureau, 1957)