Collaborations between F. Gary Gray and John Witherspoon