Kerala district gazetteers : Trivandrum (Gazetteer of India, Kerala, 1962)