The National biographical dictionary of India - Sharma, Jagdish Saran (Sterling Publishers (P) Ltd, New Delhi, 1972)