Statistical pocket book of the democratic socialist republic of Sri Lanka 1985 (Colombo Department of Census and Statistics, 1985)