Paṭṭanāẏaka, Debīprasanna Dr.