Collaborations between Rajinder Kumar Sharma and K.K. Shukla