Collaborations between Michael Davis and Dick Shawn