ભૂપેન્દ્ર બાલકૃષ્ણન ત્રિવેદી, પ્રકાશક-પ્રો.