Collaborations between Michael Murphy and Richard Jenkins