डॉ गिरीश चंद्र सिंह, वासुदेवन मणि त्रिपाठी