Seshendra Sharma (1927-2007)