National biographical dictionary of India - Sharma Jogdish Saran (New Delhi, India Sterling Publishers Private Limited, 1972)