Collaborations between William Devlin and Ken Hodges