Collaborations between Morton Selten and Jack Dennis