Collaborations between Dev Kumar and K.K. Shukla