Collaborations between Derek H. Potts and Johnny Ray Gibbs